pqueue revisited (heap)