The interface and an implementation of PriorityQueue based on Leftist Heaps.