* Tighten up what the parser will accept (especially wrt identifiers). * Write the parser in a more idiomatic (for *parsec) style.