Replace internal prettyprinter by visitor
Remove Visitor call information
Renamed push/pop functions
Unified symbol and node types
Begin of support for libraries