Represents expressions that could be found in the body of a ModusClause. Each enum variant will have some notion of span and whether it’s negated. False would mean it is negated.
