The enum type inference problem is easily solved with identifier types

[Richard (Rikki) Andrew Cattermole]

A nice side effect of this solves None value for a sumtype.

```d
sumtype Foo = string | :None;
```

Add a little bit of semantic to make it the default when its present in 
set and we're good to go.

I like it.