Refactoring of Monomial to deal properly with zero and one, instantiation and equivalence