rel is a relational operation (
with fully-converted children
b, described by
This allows for the relation to be either as written, or with its
arguments reversed; for example, if
x < 5 then both
relOpWithSwap(rel, x, 5, Lesser(), Strict()) and
relOpWithSwap(rel, 5, x, Greater(), Strict()) hold.