Nice choice, you can introduce them the same order as you posted them.
The gramma will be happier if you arrange the rocks in order to have tons of overhangs, nooks, crannies, etc.
Also, the pigmy should be introduced when a lot of algae and micro algae is growing on the rocks, so his aclimatation would be easier.