free commutative monoid