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.

closed

@sand-witch developed this idea further and will submit his own merge request.

New merge request: !10725 (merged)