The immutable pool: more on optimising memory management for functional languages