match.pd: X + X --> X * 2 for integers