Committing the current work, which implements binomial and skew-binomial heaps and a "functor" which adds a global root to a heap.