Pool based memory allocator. Lattice code now handles a poset as input.