Modules automatically provide a namespace scope for their contents, because of this, you cannot define a function declared in a module with a different name. It doesn't seem good to me.

For example, I wrote a library for writing application plugins. I want the user of my library to restrict from the abstraction functions below mine (like DLLMain on Windows) and I want him to define the plugin launch functions as an example.

It would be nice to add functions/variables independent of a specific module.