Work on proving merge for leftist heaps