Parametrised intervals

Interval arithmetic rewritten to use parametrised intervals.
Tests pass.
In `0.1 ⊆ a` I think that this is due to automatic promotion of 0.1 to an interval. I am not sure what your question is here?  The fact that it is using the version in `set.jl` is worrying, though.