degreesMonoid
degreesMonoid n
-- returns the monoid whose elements correspond to the multi-degrees of monomials in another monoid.
Also used as a key under which to store the result.