[Feature] Sum types.

[d0cd]

Sum types are a desirable programming paradigm. The tricky bit is how to encode them. Naively as a struct with all variants, but is there a better way?

[mohammadfawaz]

If we add sum types, then we would also need match statements and expressions. We could start by adding basic enums and encode them as integers but those are not as interesting.