leftist heap implementation from Okasaki's book
z13 implemented: leftist heap with direct implementation of insert