Added halving of binomial heaps.