quicker exit for Pow imaginary handlers
add some numerical handling to Pow imaginary/real 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).
add Mul.is_nonzero handling
add Pow._eval_is_complex routine
replace _eval_template_is_attr with fuzzy_group
add fuzzy_group_inverse and modify function parameters