Implementing Complex Generic Constraints

[xuhuanzy]

Implementation referenced from the generic inference syntax of TypeScript. #786

1. Added annotation system keywords: keyof, in, extends, infer, and, or.
2. Added more tests to stabilize the type inference system.

Internal changes:

1. Variable arguments (...) should be deduced as tuples. (Partially completed)

Grammar Reference:
The syntax is highly similar to Typescript, with the difference being that

1. : -> and
2. ? -> or
3. = ->

Reference file: #786 crates/emmylua_code_analysis/src/compilation/test/generic_test.rs

[xuhuanzy]

@CppCXY

[xuhuanzy]

@CppCXY @clason @lewis6991 @taminomara
I need more examples to determine if the system is stable. If possible, please try to merge #786 to test whether generic inference is functioning correctly.