Focus (was Re: draft proposal for Sum Types for D)

[rikki cattermole]

Its worth remembering that sum types and tuples are both foundational in 
type theory. Getting these into the language allow for the language to 
be a lot more foundationally stable in its design.

And thats coming from someone who has been screaming about DllImport 
being incomplete in dmd and running into issues about that almost daily 
(ok not daily because I have written off dmd until its fixed) and all 
the while working on a DIP for value type exceptions lol.