After the NIR-AST mapping, _Not-nil checking and static array index bounds checking_ should come next. This should be followed by: _Better borrow checker to refine the "view types" implementation._
I think the REPL and new C++ back-end are only nice-to-have.
