The premise of matching modules and package one-to-one is I think incorrect. The way I see it, a package is just a library with a description of its dependencie

The premise of matching modules and package one-to-one is I think incorrect. The way I see it, a package is just a library with a description of its dependencies, and possibly an already compiled binary. It could contains multiple modules. Plus, you probably need to link with a specific package version, and the module proposal doesn't have any way to specify a module version. So you can't just extract package dependencies from module usage.