Update type checker.