Add type checker.