[za3faran]

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