From my expirience those aren't the exceptions - it's pretty much half the time tools work and half the time they don't (anything involving native interop basic

From my expirience those aren't the exceptions - it's pretty much half the time tools work and half the time they don't (anything involving native interop basically is a nogo, monkey patching or meta programming equally bad). It's nowhere near the level of support you get from even rudimentary type systems such as Java which can always resolve names and can provide strong refactoring. Why do you think even Python added optional type information and type definitions ala typescript and guys like jetbrains are rushing to support it ?