Added support for infinite domains, and replaced the various named rules with a single "Integrator" function (currently using Boole's rule).
Fixed an incorrect test case.