more efficient Term#compareTo using hashCode
canonicalized Equality
implemented collectionVariables() as a common method for all collections
further cleanup of EqualityOperations#isFalse