Would it be possible to make an implicit copy of a label to an alias before the label is changed? It would then be possible to keep on using a label as an identifier in Lua code long as it doesn't conflicts with other identifiers within the same item, thus lowering the maintenance load. More important, it would lessen the number of violations during a name change.