a persistent radix tree, for efficient nested maps