Property type for containing any program design object (belonging to the AbstractProgramDesign substitution group).