[Python-ideas] Making "Any" a builtin