Sum types, 2024 variant

[TKD]

Hi Araq

I know you must have but would you consider borrowing the design of F#'s 
discriminated unions. I think it has the most comforting and user-friendly 
design and Nim syntax should be able to reproduce it with its own particular 
finish.