Add a logger into the typechecker.