Added MonoMonoid along with tests. The purpose of MonoMonoid is to take over the monomial functionality from PolyRing.