fixed new exponentiation and hence, improved evaluation of monomials, added some new tests