for the sake of simplicity, I wouldn't mind:

 (+ x) :: (abs x)

thereby being somewhat symmetric to (- x); where although may
be viewed as an incompatible change, it seems unlikely as it's
presently defined as a null function.