Rely on pyright import resolution for module names

[Titou325]

This is a first step towards fixing #133, there are still some cases that need to be verified (use of Symbols.makeModuleInit).

This fixes the cases previously mentioned.

Notes:

• When checking if resolvedPaths is not empty, we need to fetch the last resolvedPath element rather than the first one.
• This may break for unresolved imports? Need to add more test cases.
• This uses a private function. It could be accessible from other functions?