Have we ever considered a special case to allow using the `any` builtin function in place of the `Any` type? It would add a little complexity in the implementation of type checkers, but it would eliminate the need to import the `Any` symbol in code with type hints.