Improved error messages & symbols inspection

Messages for errors involving matchers, string-transformers and programs

Error messages includes a trace of the matcher evaluation, and the structure description of string-transformers and programs.

Symbol inspection

The symbol command is able to display the structure and resolved value of symbols.

Code base

Lots of simplifications, most of them related to matchers.