Types use const type parameters requiring TS 5

[leighman]

Is that a deliberate decision?
Should probably be in the readme/dependencies if so.
Thanks.

[tim-smart]

Hi, yes we had a discussion on the Discord server before making the change.

It simplified a few things, and made the pattern matching more resilient, so we decided to go for it.