Add infix application syntax