Update TODO for type checking.