Proposed alias for union types

A post was split to a new topic: Non-deterministic normalization of Tuples of Unions