Added a post on functional heaps.