Improved error messages.

This ocamlyacc-based implemtation should now report all the
error messages for specific syntax errors that the original
Stream-parsers-based version also supports.