Should we make `Integral(exp(-x**2), x).subs(x, 5)` return `Integral(exp(-x**2), (x, 5))` as suggested in the issue I pointed to, or keep this for a subsequent PR? I guess keeping this change for another PR would be fine. It's one behaviour that does not have an equivalent for the `Sum` class.