Improve "ambiguous occurrence" error messages

This error was sometimes a bit confusing, especially when data families were involved. This commit improves the general presentation of the "ambiguous occurrence" error, and adds a bit of extra context in the case of data families.

TODO:

• Rebase on top of !10350 (merged).