svn: r9127
Improve error message. svn: r9068
Does not yet work: - some errors about car of () - some match-expander certification errors svn: r9049