Raw types are created by ClassfileParser and could be addressed with the approach you mentioned, right?
We could force TypeVars in case we asked them for arity but only them, right? It actually doesn't sound like rocket science. Am I missing something else?

I'm asking all those questions to understand bigger picture. I don't think we need to solve the problem we are discussing here in this PR but it's still useful to pass the knowledge.