Add beginning of Parser code.

This is just the basic definition and Monad instance; no parsers are
actually defined yet. That will wait until the AST types have been declared.
Add Functor instance for Parsers.