Parser now written in applicative style.