Describes a union type, which allows values to be one of many types.