Union types

A union type is a collection of types separated by a |.