Thanks for the proposal! It is definitely extremely important for us to have better type hints and documents for TVM scripts.
One quick question I have been thinking of: is it possible to unify and prevent divergence between tir.XXX in the script and tvm.tir namespace? If so, there probably won’t be necessary to introduce a new namespace tvm.tir.script.namespace