A compact representation for immutable in-memory trees (DAGs, more precisely) with named nodes and anonymous edges.