Yeah, that makes sense, but I guess I find it confusing.
What happens if a typing construct is shadowed?
Sequence = Z # I agree that this i a bad idea.
x: Sequnce # does this come from typing or from the shadowed value?
What happens if a typing construct is deprecated? It’s a bit weird to figure out where you’re using it?
And what’s the future of annotations? Aren’t they going to be actual live objects (not strings). That means that you do actually need to implicitly import typing to implement this feature to produce the appropriate objects.