Shared entities was introduced as a mean to allow modules to interchange objects without causing dependency on which module is compiled in which order.

The module name is not part of the bytecode. You can load the same bytecode into different modules (sometimes that is necessary to get separate set of global variables).

I didn't quite get what you meant with the comments in the bullet list, so I have probably not answered what you really asked for.

There are certainly improvements that can be made. You mention the linear search of all types. This can quite easily be optimized if there is a need for it. Are you seeing performance issues with loading pre-compiled bytecode?

Yes, the shared entities are saved in all byte codes to guarantee that they will function regardless of the order in which modules are loaded.

You may want to know that I have plans to make improvements to the import functionality, which currently only works for global functions. Importing entities would be different from shared entities in that the imported entity must have been compiled / loaded in a previous module for the import to work. I can't say exactly when I'll get to work on this improvement though.