Free commutative monoid