Sum types, 2024 variant

[blackmius]

I prefer the @treeform way for sum types. it looks like it should work already 
in language. good intuitive way. for whom thinks extra “kind” field is overhead 
can make macros macros extracting kind enum and making boilerplate