Renamed leftist trees to leftist heaps.