An immutable sorted set in php