remove positive kernel handling

This removes the incorrect denesting of expressions having a positive base: ```(p**x)**y is not always p**(x*y)``` when p is positive -- one must consider the value of the exponents, too.