Module trace
vanilla-like jsonnet formatting
rustc-like trace displaying
The way paths should be displayed
Implements pretty-printing of traces