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