Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
Is an `Interval` even a `Number`, really? I think we have this only to use some of the automatic promotion rules, no?