Rename syntax.pretty to syntax.print and add a global function `pretty`. Close #183.