Converted the expression parser from monadic to applicative style.