Added documentation for leftist heaps.