[binary heap] completed leftist heap