[Python-ideas] Re: Making TYPE_CHECKING builtin.