To me, having a separate name for a user story is a "smell." It may mean that the user story is too complex and needs to be broken up.

On the other hand, there is clearly a need for being able to easily scan the titles of stories. One idea I had was to reformat the user story structure into just ROLE + "wants to " + WANTTO onto a single line.