After the incremental beta, another important step is to be able to incrementalize more of the compiler. Currently we are focused on trans and the LLVM backend, but type-checking is another major bottleneck. The general plan for skipping typeck is documented in a gist.