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