MonomialHash added. Now all compiles ok with correct comparators