WIP. renamePN' in HsGroup works, time to generalise.
Renaming in a data definition seems to work.