[Git][ghc/ghc][wip/sjakobi/T27102-NonLocal] 22 commits: Add Invariant (NoTypeShadowing) to Core