Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
I quite like that it returns an empty list, because then the number of roots (or possible roots) is just given by the `length` of what is returned.