Property type for containing any program specification object (belonging to the AbstractProgramSpecification substitution group).