Modify the requirements for the new signatures of transform_reduce added by [P0452r1] to 26.8.4 [transform.reduce]:

� Requires:

T shall be MoveConstructible (Table 23).

All of binary_op1(init,binary_op2(*first1,*first2)), binary_op1(binary_op2(*first1,*first2),init), binary_op1(init,init), and binary_op1(binary_op2(*first1,*first2), binary_op2(*first1,*first2)) shall be convertible to T.