Finite-width free products and ordering

Ordering transport compares algebra representations. A state must be transported too; keeping a changed symbol and an unchanged numerical state functional is not physical matching. The related distinction is explicit in XII-A and VII-H CheungXIIA,CheungVIIH.