Fix some indention issues and add new pretty printing functions for statements.
Fix grouping issue.
Fix fresh name issue.
Make the top level better.