Working on Renaming. Need to get renamePN to work with HsTyVar too.