Make legalize a bit more efficient, and canonicalize sub X, C -> add X, -C