leftist_heap updated, minor fixes