Libros — persistent data structures