Fix config if entry type unsoundness

[Peefy]

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

• N
• Y

Fixes #389

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

• kclvm/sema/src/resolver/config.rs
• kclvm/sema/src/resolver/node.rs

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/var_type_annotation/type_fail_13/main.k
• test/grammar/types/var_type_annotation/type_fail_14/main.k

6. Release note

Please refer to Release Notes Language Style Guide to write a quality release note.

None

[coveralls]

Pull Request Test Coverage Report for Build 4040552390

• 86 of 124 (69.35%) changed or added relevant lines in 9 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage decreased (-28.09%) to 62.472%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
kclvm/sema/src/resolver/config.rs	68	106	64.15%

Totals
Change from base Build 4036676922:	-28.09%
Covered Lines:	23214
Relevant Lines:	37159

---

💛 - Coveralls

[zong-zhe]

LGTM