> I think the biggest advantage TypeScript gives is discoverability when using a language server driven development environment.

+1: I'm much slower working in environments where I have to do this manually. This is why I've been infiltrating Python type annotations in our codebase.