Added support for infix application, and handful of bugs.