> Misspelling a variable creates a new one.

IDEs/linters help with this one.

> Type annotations are ignored, so nobody bothers

If one really cares you can use MyPy to force errors on bad types.

Type annotations are very useful for IDEs, which is why they are spreading fast in the ecosystem.