new node-types in prettyprinter implemented (not finished yet)