[Python-ideas] TypeHinting: From variable name to type