An expression on or above the precedence level of “structural” expressions.

no type hierarchy

no supertypes hierarchy

no subtypes hierarchy