Provide useful error for "Cannot find trait Hash in this scope"

[ironcev]

Description

This PR closes #5129 by providing a detailed guidelines to programmers on how to fix the "Cannot find trait XYZ in this scope". The issue is very prominent in the case of the Hash trait as demonstrated in the #5084.

We need to guide programmers at the moment because fixing the root cause will take some time. (Changes need to fix the root cause are sketched in this comment).

The PR:

• replaces the current two misleading and redundant error messages with a clear instruction how to fix the issue at the call site.
• provides the guidelines in a general case, and not only for the prominent issue with the Hash trait.
• removes the redundant SymbolNotFound duplicated error and leaves only the specific TraitNotFound

Closes #5129.

Demo

These were the original redundant and misleading error messages produced at the function definition side:

This is the new error message:

In the case of an ambiguous trait, a detailed instructions are provided on how to find and import the required trait:

Checklist

• I have linked to any relevant issues.
• I have commented my code, particularly in hard-to-understand areas.
• I have updated the documentation where relevant (API docs, the reference, and the Sway book).
• I have added tests that prove my fix is effective or that my feature works.
• I have added (or requested a maintainer to add) the necessary Breaking* or New Feature labels where relevant.
• I have done my best to ensure that my PR adheres to the Fuel Labs Code Review Standards.
• I have requested a review from the relevant team or maintainers.

[sdankel]

LGTM 🚀