Fold trivial two-operand tokenfactors where the operands are equal