implemented some more member functions of IntervalSet