Add separate NumericEqualityConstraint so things like tolerances can be added for numeric equality constraints
Implement numeric equality and a tolerant numeric equality constraint. Also use overloading rather than reflection to decide whether to generate an ordinary equality constraint or a numeric one.