With the inspect/ast modules I can get an AST of e.g. a function and inspect variables - but in terms of types, I can only get the annotations from the signature (AFAIK).

Can mypy enrich the rest of the tree with types? And preferably expose this so that plugins can be written for it?

Does mypy already build a typed AST under the hood? Can you point me to where it happens?

Thank you