You can use static type analysers and runtime type profilers to add type annotations to a legacy codebase, but the interesting bit would be if you're built on top of a large untyped codebase you don't control like, say, Django, how far it can go.

I would imagine that the LLM has a much easier time adding correct type annotations to old Python code than it does translating it to C.