Immutable and persistent data structures for PHP