feat: remove python-like static type tricks

[Peefy]

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

• N
• Y

re #341

Semantic simplification of operators (Python tricks) #

• Disable the use and operation of bool variables 1+True
• Prohibit comparison between list and config variables [0]<[1] or {} < {}

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

• kclvm/sema/src/resolver/calculation.rs
• kclvm/sema/src/ty/constructor.rs
• kclvm/sema/src/ty/context.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/binary_expr/binary_expr_0/main.k
• test/grammar/types/binary_expr/binary_expr_1/main.k
• test/grammar/types/binary_expr/binary_expr_2/main.k
• test/grammar/types/binary_expr/binary_expr_fail_0/main.k
• test/grammar/types/binary_expr/binary_expr_fail_1/main.k
• test/grammar/types/binary_expr/binary_expr_fail_2/main.k

[coveralls]

Pull Request Test Coverage Report for Build 8232693727

Details

• 5 of 5 (100.0%) changed or added relevant lines in 3 files are covered.
• 3 unchanged lines in 1 file lost coverage.
• Overall coverage decreased (-0.008%) to 71.905%

---

Files with Coverage Reduction	New Missed Lines	%
kclvm/sema/src/ty/constructor.rs	3	95.31%

Totals
Change from base Build 8232451325:	-0.008%
Covered Lines:	44679
Relevant Lines:	62136

---

💛 - Coveralls

[zong-zhe]

LGTM