Disciminated Union Proposal for C#

My biggest gripe with C# at the moment is the lack of discriminated unions. It feels _so_ close to being good with type pattern matching, except we don't have exhaustiveness checks! Super excited to see this proposal and I can't wait to have this