Module expressions and module declarations also have the concept of canonical instances, which need to be defined here, and it would be good to have a description of that in this context.

I am thinking that the canonical instance can be created lazily, and 262 would call into HTML through a hook to query that cache (that HTML can populate in the hook itself)