Following the mypy type annotations discussions with interest. Devil's in the details though, I think it will end up just an editor hint.