Fixed some bugs in pretty-printing, corrected tokenizing of special symbols, corrected parsing of Declarations