Check elements of type 'code' that don't have a binding

[grahamegrieve]

The rules are complicated (too complicated to be an invariant) but there really should be a binding for a code (but corner cases mean that it can't be a SHALL)

know cases for no binding:

• various uses of code in core (no-binding extension)
• logical models
• differentials in profiles
• parameters resource in some circumstances
• extensions where code is for format not semantics
• polymorphic elements

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in 5 days if no further activity occurs. Thank you for your contributions.