[RFC] Setting up Mypy type checking for TVM codebase

[junrushao]

@Wheest I am not super certain if there is a fully automated process given our current docstring-based type annotation may be casual or inaccurate, but it is definitely doable if we could call for community contribution