Feature

Report name-defined errors for unannotated modules.

Pitch

I believe it would be reasonable and very helpful, and I assume possible, to report name-defined errors for unannotated modules.

A simple example to motivate this:

import sympy
foo: sympy.expr = 3

The module sympy is not annotated and does not have an attribute expr (this is a typo, sympy.Exprexists) which is currently not detected by mypy. I assume missing names should be detectable even without type annotations for the module, so I would like this to produce
error: Name "sympy.expr" is not defined [name-defined]
when checked with mypy