make Abs args canonical wrt sign

Abs(1 - x) now is the same as Abs(x - 1)