Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
Good catch with `reciprocal` -> `inv`.
I'm not sure what you're referring to with type stability, though.

(`2^(-1)` returning `DomainError` seems pretty nasty to me, but I guess it's because the answer is not an integer -- is that what you mean?)