An expression on or above the precedence level of union or complementation.

no type hierarchy

no supertypes hierarchy

no subtypes hierarchy