"A primary type; only [[intersection|IntersectionType]], [[union|UnionType]] and [[entry types|EntryType]] come before these." shared abstract class PrimaryType() of SimpleType | TupleType | IterableType | GroupedType | OptionalType | SequentialType | CallableType extends UnionableType() { }