Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
I haven't look at this file yet... I have to read again Tucker's book.