MonomialCollectionWithCoef compiles, but not used yet