Fixed bugs originating from the transition, improved exception-safety specifications, and improved the interfaces of functions in interval_heap.hpp.