An expression on or above the precedence level of equality tests.

This contains all “Layer 2” operators.

no type hierarchy

no supertypes hierarchy

no subtypes hierarchy