Add type support for different major versions of TS and testing

[codyduong]

Some features I used to type this library might not be available in certain versions of TS. Check and audit.

A list of versions with possible breaking features

• 5.0 - https://devblogs.microsoft.com/typescript/announcing-typescript-5-0/
• const Type Parameters!!!
• 4.9 - https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-9.html
• satisfies operator
• 4.7 - https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-7.html
• instantiation expressions
• 4.5 - https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-5.html
• Tail-Recursion Elimination on Conditional Types
• 4.1 - https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-1.html
• Template Literal Types
• 4.0 - https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-0.html
• Variadic Tuple Types
• Labeled Tuple Elements