Enable antiderivative evaluation using subs()

- fix tests
- add docstring examples in subs()
- reduce Integral(f(x),(x,x)) to Integral(f(x),x) automatically