Eval Abs(exp(x*I)) as 1 if x is real

- also rewrite re and im in terms of each other, useful for some simplifications
This is - for "if arg.is_Pow", isn't?  Perhaps, you can add the case for base.is_real above.