There used to be terms α-lifting and β-lifting around late last century. Gavin Nicols would remember the exact meanings, I bet. (I think it comes from symbolic programming/program transformation disciplines, so maths/CS not linguistics.)
IIRC they relate to transforming between, say
<animal pet="dog" />
<pet>dog</pet>
<dog />
IIRC alpha lifting is just a promotion/rotation/elesion of names while beta lifting is converting values to names or splitting elements, or vice versa, or backwards, but I have no confidence.
