Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
Why do you need to import `inf` or `string`?