This was already discussed quite a bit in Fall back to the typing.* namespace in lazy hint contexts
This is actually already part of the Why can’t we blog and will almost surely not happen. Your other suggestions for special cases here would probably fall into a similar category.