Simplify symbolic rule implementation with common superclass.
Implement numeric constant substitution rule.
Binary comparison and {where} token replacement.