refactor(binder): split type_inference to smaller files

[xiangjinwu]

What's changed and what's your intention?

As title.

Checklist

- [ ] I have written necessary docs and comments

• I have added necessary unit tests and integration tests
• All checks passed in ./risedev check (or alias, ./risedev c)

Refer to a related PR or issue link (optional)

[github-actions]

license-eye has totally checked 850 files.

Valid	Invalid	Ignored	Fixed
847	2	1	0

Click to see the invalid file list

• src/frontend/src/expr/type_inference/cast.rs
• src/frontend/src/expr/type_inference/func.rs

[codecov]

Codecov Report

Merging #3244 (2bf72f7) into main (2ad3a5b) will increase coverage by 0.00%.
The diff coverage is 99.52%.

@@           Coverage Diff           @@
##             main    #3244   +/-   ##
=======================================
  Coverage   73.22%   73.22%           
=======================================
  Files         745      747    +2     
  Lines      101837   101837           
=======================================
+ Hits        74566    74567    +1     
+ Misses      27271    27270    -1     

Flag	Coverage Δ
rust	73.22% <99.52%> (+<0.01%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
src/frontend/src/expr/type_inference/func.rs	98.67% <ø> (ø)
src/frontend/src/expr/type_inference/mod.rs	94.73% <94.73%> (ø)
src/frontend/src/expr/type_inference/cast.rs	100.00% <100.00%> (ø)
src/common/src/types/ordered_float.rs	24.90% <0.00%> (+0.19%)	⬆️

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more