Persistent data structures
Classes for persistent data structures.