Adding a terminal 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.