Add approximate term hashing function for fast unification