Interval Analysis update 3

Almost everything finished except the worklist algorithm