Sum Types - first draft

[jmh530]

On Tuesday, 10 September 2024 at 16:20:55 UTC, Paul Backus wrote:
> On Tuesday, 10 September 2024 at 04:06:16 UTC, Walter Bright 
> wrote:
>> https://github.com/WalterBright/documents/blob/96bca2f9f3520cf53ed5c4dec8e5e2d855e64e66/sumtype.md
>
> ### Summary of comments
>
> * Special cases are bad.
> * New capabilities should ideally be general-purpose, not 
> sumtype-specific.
> * Sumtype syntax should be modeled after unions, not enums.
> [snip]

Given your involvement with sumtype, it may be useful to provide 
specific recommendations about what enhancements to the language 
would be valuable.