Corrected the associativity of the infix application operator; updated README and unit tests to match. Fixed a bug in isNormalForm.