BinaryHeap moved from trees into lib