changed monom factor rule
further improvements to monomial factor rule
some renaming, and code cleanup on monom factor rule