Moving towards replacing const_monomial entirely with the types on Monoid.
Simplified PolyHashTable and gave BjarkeGeobucket2 a new hash table based on MonmialMap that is significantly faster than the old one.