ocaml: fix a few typos in error message
scheme: add initial Haskell implementation

Not fully tested yet. Parsec is pretty nice.