Update infix.lisp