No more distinct class NoopTermMapper
Comments
Comments
Renamed properties of Operator: name->text, prio->precedence, type->associativity.
Safe depending on passed arguments to removeClauses