Sets of PHP Value Objects