This PR slightly relaxes the validation criteria around exports to allow them to refer to either imported or exported resource types (not just exported resource types). What's still disallowed is referring to private resource types in the types of exports. Because private resource type definitions cannot appear inside componenttype/instancetype (which this PR adds to Explainer.md to match Binary.md), that means that there is nothing extra to validate at the type-level, only at the component-definition-level.
This PR slightly relaxes the validation criteria around exports to allow them to refer to either imported or exported resource types (not just exported resource types). What's still disallowed is referring to private resource types in the types of exports. Because private resource type definitions cannot appear inside
componenttype/instancetype(which this PR adds to Explainer.md to match Binary.md), that means that there is nothing extra to validate at the type-level, only at the component-definition-level.