do we need to append the scope id to type variables?

[nrc]

I believe we shouldn't, since we can't redefine them, but then perhaps there is some reason

[nrc]

I think the reason for this is for impls - because there is no way to distinguish them by qualname. A better approach than the current one is to use impl$123 as part of the qualname, rather than use $123 as a suffix for type variables.