Prettyprinter: Different color for eta
Rudimentary support for better tagging
removed betareducible
Removed some warnings
own type for taggedexpressions
Minor simplification in InteractiveTagger