Immutable and persistent collections for PHP