Update pretty.rs

[arora-aman]

This pretty printing code could run at different times, it should probably be changed, but not entirely clear to what yet.

• Investigate what this should look like and define next steps.
• Update closure printing #15