[ildjarn]

https://github.com/codemix/ts-sql

[za3faran]

Quite nifty, but I still wouldn't call it far more powerful. Take a look at https://checkerframework.org/ for example.