Free Commutative Monoid