Nice! It went a little unnoticed in all the noise, but Facebook's Flow project might be of interest here. Its not "just" an advanced type-checker, but it seems it was intended for IDE tooling as well, but I suspect FB wants to keep that internal for now. There is a project on Github, someone created a VIM plugin based on Flow.