Still early work, but it looks very promising! I particularly like the fact that it supports diagnostics and refactorings