Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
I'm currently getting a stack overflow for `a ∩ ∅`...