Cleanup of type checker.