Instances of this class represent groups of property shapes that belong together.