Indeed, the type can be weakened to READABLE_STRING_GENERAL. It is a better solution.

About anchor readability:
Yes I have the same view point, the anchors make the code less readable since they are displayed on interface view and auto-completion window, but they give a great flexibility and a fine expressiveness.
Eiffel Studio could replace automatically the anchors with types in the interface view and in the auto-completion window.