Sum types, 2024 variant

[didlybom]

I have the opposite reaction to @treeform. I think it is great that a new 
syntax is being proposed because I find the fact that you must manually define 
a "kind" type super annoying (to the point that I never use object variants). 
IMHO code that uses them looks much more complex than the typical nim code.