This is the class for C union types. There are no built-in types. They must be constructed using foreignUnionType.
The object ForeignUnionType is a type, with ancestor classes ForeignType < Type < MutableHashTable < HashTable < Thing.