- fixed bug in the parser.
- fixed bug in pretty printing.
- fixed several bugs.