"An expression on or above the precedence level of existence and nonemptiness tests."
shared alias ExistsNonemptyExpression
        => SpanningExpression|ExistsOperation|NonemptyOperation;