rework handling of re/im in solve
raise error if Abs-arg is not real or imag