2PolyML gives a warning because the identifier has infix status, but is not infixed here.
To avoid such warnings, we may precede such occurrences of infix identifiers with the keyword
op. (Later, we will see that the warnings are not entirely gratuitous: the keyword op is needed to
allow us to pass infix functions as values.)