Printing.
Pretty-print terms.