operator+ -> binary_op in reduce's note.

Fixes n3554/n3554#60