Reduced the interface and state of PolyRing.
Removed computation of size of monomials from PolyRing.
Moved signature comparison remnant out of PolyRing.
Reduced the interface for PolyRing and added release/recapture support for pool-allocated monomials.