rename the tagged and labelled operator