Using the global reflector made it impossible to compile multiple programs at the same time.
The expression type checker moved from the language service to the compiler-cli in preparation to using it to check template expressions.