getTypeChecker

Gets a type checker that can be used to semantically analyze source files in the program.