Open
Description
I believe that given the binary format today there's not actually any means by which a core module type could be exported. I think this is because type exports always look up in the component type index space.
That being said I also am not sure why one would need to do this, so I mostly wanted to open this up as a possible "hole" in the binary encoding so we could explicitly decide one way or another.