Add a couple of simplification rules to avoid `+-` appearing