minor cleanups in InfixOperatorFns