> We already have that in the form of TypeScript

While an improvement Typescript is a far cry from the likes of Ada and doesn't really compare.

> There's not much than can be done when the sole core maintainer of a popular library lands in a penal colony.

Perhaps the solution is to not use Javascript, since it always forces you into an "ecosystem" of "frameworks" at every turn - and they are not cheap! Just another thing to throw on the stack. mb's be damned.