cleanup of prettyPrint

- moving to syntax.js
- adding to case macros so you can call prettyPrint during macro expansion
- adding --step-hygiene flag so you can see hygienic renames when stepping