There's no trigger that lets you change the proper name.
Which is a bit frustrating for many folk, especially for simple added touches in a map, like setting a hero to be named after its player, for example.
However, if you just want to use one of a set of pre-determined names, you can keep placing the hero with a trigger and checking the placed hero's proper name, and stop when you've got what you want.