enhanced builin equality for symbolic terms
made SymbolicConstraint#Equality immutable

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/SymbolicConstraint.java
minor