Do you think it's all right if `as_dummy()` turns `Integral(f(x),x)` into `Integral(f(_x),(_x,x))`? (documentation suggests otherwise, at the moment)