Moved monomial pool out of PolyRing. PolyRing's state now consits only of a monoid and a field.