Separated interval-heap functions, improved exception-safety guarantees.