Draft: Type patterns (#22478)

A very rough draft. The idea is:

• rename type patterns using a dedicated rnHsTyPat instead of relying on rnHsTyKi
• use collectPatsBinders to check for duplicate bindings

This closely mirrors term-level patterns.