Getting a handle on why renamePN does not work for a data declaration.