consolidate exp._eval_power and Pow._eval_power

Consolidate exp._eval_power into Pow._eval_power as much as possible.

Details are given in the commit's log.
Only Rationals have the q property, the denominator (S.Half.q == 2; the numerator is `p`.)