[Python-ideas] Re: Making "Any" a builtin