Support additional Type[x] values as first super() argument #3929

Currently the only variant of Type[x] supported as the first super() argument is Type[C] where C is a class. Some others should probably be supported as well -- at least Type[T] where T is a type variable.

This is follow-up to #3919.