Better pretty printing for the TTD syntax.
Full support for built-in operators in the TTD translation.