Commutative Monoids (commutative semigroups with a unit)