"An expression on or above the precedence level of “`then`” and “`else`” expressions." shared alias ThenElseExpression => DisjoiningExpression|ThenOperation|ElseOperation;