< renaming : List { rename : Text, to : Text } | default : {} | hiding : List Text >