Improve error messages for type application mismatches

[kalidatony]

• Tests added for any new code
• Documentation added for any new functionality
• Entries added to the respective CHANGELOG.md for any new functionality
• Feature table on README.md updated for any listed functionality

This PR improves error messages for type application mismatches, specifically addressing the confusing errors users receive when using a List where a Set is expected (like in the map function).

Changes

• Added TypeApplicationErrorDetails interface to store detailed error information
• Implemented buildTypeApplicationMismatchLeaf function to create more user-friendly error messages
• Enhanced errorTreeToString to display clearer error messages with expected/actual types
• Updated unify in constraintSolver.ts to provide operator information when detecting mismatches
  Fix Error messages for type application mismatch are not clear #1361

[kalidatony]

@bugarela Could you kindly check the implementation #1668 and guide me if I need to fix anything.

[bugarela]

@kalidatony we are getting some CI failures, seems like we are getting many type errors when there are no type problems.

[kalidatony]

@bugarela could you check when you are free.

[bugarela]

@kalidatony I still see the same CI issues 😿