Converted the expression parser from monadic to applicative style.

Hi Edward, here's the expression parser in applicative style that I promised last week. It worked for me in a couple of easy examples, but as there is no test suite I can't guarantee its equivalence to the monadic parser. But hey, it compiles so it can't go wrong.