Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
Yes, let's correct `intersection` -- that's indeed pretty horrific!