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