The expression type checker moved from the language service to the compiler-cli in preparation to using it to check template expressions.