update `IntervalHeap` docs