added height unfolding for commutative polynomials (+monomials), test cases