smarter hashing for hashtables modulo alpha-equiv