> that a lot of popular modules expose incorrect type hints that need to be worked around

Typescript (and Flow to a lesser extent) had this problem once upon a time. It’s a lot better today, so I imagine it will continue to improve.