Documented synthdeftools.Op binary operators.