New semantic analyzer: Namespace package with __init__.py breaks analysis

I'm getting a lot of errors reported that are not errors.

• Classes are reported as invalid types
• Calls to methods are reported as modules not having those attributes
• Instances of classes are reported as modules not callable
• Types passed to, e.g., isinstance are reported as incompatible type Module (suggests that all custom types are treated as type Module)
• Base classes are reported as invalid base classes
• Calls to instances of classes are reported as not having the specified attributes
• Package imports in __init__.py are reported as already defined

I am not sure whether these are issues are caused by the new semantic analyzer or by the Mypy plugin for PyCharm which has not been updated yet.

In comparison, with the new semantic analyzer disabled, there are no errors. The application works correctly.

L'issue non nomina file né test. Inizia riproducendo i falsi positivi segnalati con un pacchetto namespace contenente init.py, confrontando il nuovo analizzatore semantico con l'analizzatore disabilitato e considerando la distinzione del plugin PyCharm. Il lavoro è completato quando gli errori elencati relativi a classe, metodo, istanza, ereditarietà e importazione di pacchetti non vengono più segnalati per la riproduzione.