Java implementation of heaps, lazy and not. Based on Purely Functional Data Structures.