Prevent order mismatch in words function

[cxzhong]

Updated error handling for morphism composition to provide clearer messages regarding codomain and domain compatibility.
Fix #40391
I think it may be strict in mathematical definition. But it is useful to prevent order mismatch. to get some error results in this issue.
And for Words("ab"), we think b>a, for Words("ba"), we think a>b, so they are different order in sage's words system.
We prevent words order mismatch behavior to output some mathematical incorrect output

📝 Checklist

• The title is concise and informative.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation and checked the documentation preview.

⌛ Dependencies

[Copilot]

Copilot reviewed 1 out of 1 changed files in this pull request and generated 7 comments.

Comments suppressed due to low confidence (1)

src/sage/combinat/words/morphism.py:893

• This method raises ValueError - should raise an ArithmeticError or return NotImplemented instead.
  This method raises ValueError - should raise an ArithmeticError or return NotImplemented instead.
  This method raises ValueError - should raise an ArithmeticError or return NotImplemented instead.

    def __mul__(self, other):

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[cxzhong]

We should put the _is_alphabet_included_with_order logic in this or the alphabet file?