Allow giving names to traces and metrics, and print them when pretty-printing