For language like HTML it would be cool to be able to rename a closing tag automatically if a user changes the name of an opening tag. To make this happen we propose a new message onTypeRename which is comparable to on type format.