[Refactoring] Move Type::reliesOnTident into a visitor class
[Refactoring] Simplify the role of inferType function

Move lambda deduction handling code from inferType to deduceType
[Refactoring] Add FuncExp::matchType and simplify lambda conversions
[Refactoring] inferType
Merge pull request #3473 from 9rnsr/refactor_deduce

[Refactoring] around lambda type deduction