UnionableType.ceylon

"Types that can be children of a [[UnionType]].
 
 This class is only there to represent how types are parsed,
 not their semantics."
shared abstract class UnionableType()
        of IntersectionType | PrimaryType
        extends MainType() {
}