Parse.term_to_string : term -> string
Converts a term to a string.
Uses the global term grammar and pretty-printing flags to turn a term
into a string. It assumes that the string should be broken up as if
for display on a screen that is as wide as the value stored in the
Should never fail.