rework handling of re/im in solve
raise error if Abs-arg is not real or imag
Merge pull request #2927 from smichr/abs

issue 4046: better handling of Abs by solve