Hm, this may be tricky. The problem is that when stripping top level, we just kill the `TypeInfo` entirely, because this is what is the state before semantic analysis. We can't keep it, because the class may become a named tuple after an update. I am not sure what to do here. What do you think?