Expression abstraction, should be extended by anything that is an expression type.
an object to compare
true in case this object has identical constant and terms as the obj argument; false otherwise.