Add Union/Intersection types

[WillBAnders]

Union and intersection types are helpful utilities for composing types. Unions are particularly helpful for addressing simple variations in allowed arguments as well as better type inference. Intersections are less common but can be useful for higher level abstractions and combining interfaces.

• Implement union types
• Implement intersection types
• Address unification via subtypes or unions