This commit addresses #26868, by adding
a new invariant (NoTypeShadowing) to Core.

See Note [No type-shadowing in Core] in GHC.Core