fix: argument type check on too many arguments for empty parameter list

[Peefy]

1. Does this PR affect any open issues?(Y/N) and add issue references (e.g. "fix #123", "re #123".):

• N
• Y

fix #667

fix: argument type check on too many arguments for empty parameter list

2. What is the scope of this PR (e.g. component or file name):

• kclvm/sema/src/resolver/arg.rs (remove params empty check)

3. Provide a description of the PR(e.g. more details, effects, motivations or doc link):

• Affects user behaviors
• Contains syntax changes
• Contains variable changes
• Contains experimental features
• Performance regression: Consumes more CPU
• Performance regression: Consumes more Memory
• Other

4. Are there any breaking changes?(Y/N) and describe the breaking changes(e.g. more details, motivations or doc link):

• N
• Y

5. Are there test cases for these changes?(Y/N) select and add more details, references or doc links:

• Unit test
• Integration test
• Benchmark (add benchmark stats below)
• Manual test (add detailed scripts or steps below)
• Other

• test/grammar/types/args/schema_types_err_too_many_args_0/main.k
• test/grammar/types/args/schema_types_err_too_many_args_1/main.k
• test/grammar/types/args/schema_types_err_too_many_args_2/main.k

[He1pa]

LGTM

[zong-zhe]

LGTM