You could go the route of having a zoo of many small libraries and just version the library, so mod-x becomes lib_x. That, dependency management, is not a convincing argument for something 'new' called "module". You can do it with libraries as well.

The question (then) remains: are modules really just libraries? Was it always just about coexistence of related functions?

Still a mess for discoverability, does not play well with regular code completion, and so on. So except if you also make a Smalltalk like IDE...