Property type for containing any program feature (belonging to the AbstractProgram substitution group).