improve implied negation (+0-x => -x)