Add a pretty printer for Term