Some equivalence bugs in Monomials and their orderings seemingly fixed - must TEST!