Investigate what `pretty.rs` should look like

[arora-aman]

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

[Azhng]

cc @roxelo