binomial heap from Okasaki's book implemented