enhanced builtin equality for symbolic terms; fix for immutable SymbolicConstraint#Equality