An immutable map data structure in php