Still some work to do on intervals.

Corrected interval arithmetic on open bounds.
A bit of refactoring.
Made allValues really lazy.