Sum types, 2024 variant

[Araq]

> but understand it breaks existing case semantics...

While that is a problem, the bigger problem with your proposed syntax is the 
inherent ambiguity between "new declaration" and "bind to existing symbol".