Fixed definition of abs on complex, added real_abs, imag_abs,
piecewise_abs.