Optional type + Binomial heap, and some documentation