Rephrase and document UnionType.
Document TupleType.
Document RelationType.