free idempotent commutative monoid