Added type checker.