Further polishing of simplify-binary-op
Constant folding for -