Language Design Proposal for C# Type Unions · HackerTrans