Fix Lint
Ticket #17590 (closed) pointed out a bug in the way the linter dealt with type lets, exposed by the new uniqAway story.
The fix is described in Note [Linting type lets]. I ended up putting the in-scope Ids in a different env field, le_ids, rather than (as before) sneaking them into the TCvSubst.