> I get autocomplete and goto definition with dynamic languages just fine.

No you don't. See how autocomplete does with this function:

    def foo(s):
        s.

Now try it with type annotations:

    def foo(s: str):
        s.