Modules with same name in different packages

If a module occurs in different packages, only one is loaded into the index. Although it is not clear whether this should be supported, either one could put both modules into the index or specify the strategy which is is loaded.