[ refactor ] from isProducts to isAtoms, from append to cons
[ new ] solver for commutative monoids

A simple normalization procedure followed by running the ILL solver
defines a solver for commutative monoids.