[binary heap] Introduced leftist heap