Pretty printing is now in the core language, not just in the test lib. It also pretty-prints function-valued fields much more nicely.