initial refactoring of binomial heap