Free_commutative_monoid loading ...