move pretty printing to syntax
refactorings for pretty printing
refactorings for pretty printing