I think it should be "For every type in the set of discovered types (as defined in <<type_discovery_steps>>), the container must:"