improve error handling of the checker in the parser for compatibility
with proof general by starting not to use $syntaxerror at all.