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