All tagged u-substitutions