Simplify INFIX?
Lower infix forms into unary or binary
Simplify COMPILE-INFIX as a result of lowering
Lower short-circuiting forms AND, OR