Correct class/pattern printing
Fix printing symbolic ids with their type
Always decode identifiers. Some refactoring