only process literal imaginary in abs
quicker exit for Pow is_imaginary handlers
add some numerical handling to Pow imaginary/real/complex handlers

I do not know how to add the same thing to the new assumptions
since arg must be computed and whether it comes back evaluated
or not depends on arg's use of the old assumptions. So

var('x');ask(Q.real((x - I*x)**2), Q.positive(x))

will not evaluate properly unless one *also* does var('x', positive=1).