Added syntax.print.pretty. Close #219.