tentative plugging of the highlighting mechanism.
Adding a new tag for pretty-printer, based on string lists.
Tentative tag for keyword
Adding tagging of evars.