> Typescript annotations are little more than documentation

This is true at the boundaries of your codebase, but if your application is complex enough, tsc is a life saver. Typescript saves me from bugs literally every day. Not to mention the benefits around tooling and refactoring.

Agreed that there are some big footguns with respect to soundness, though.