Typos being run time errors is because of implicit declarations; it's not because of type systems. Implicit declarations are messy for others reasons too. See Python's 'nonlocal' keyword for an example.