Is it going to be like mypy or pyright? Will it include an LSP server? Pyright seems more focused on the LSP server side and doesn't seem as complete as mypy as a type checker.
> The entire system is designed to be highly incremental so that it can eventually power a language server (e.g., only re-analyze affected files on code change).