Basically I'd like to get answers to these two questions:

1. Are the changes deliberate and covered by the fact that typing is a provisional module, or could the old functionality be restored?

2. If we cannot get the old functionality back, is there some other way to reliable detect is an annotation a type defined in the typing module? This should cover both the `List` and `List[int]` cases.