TS: Print user types as pointers, and add a new method to handle when the type name is to be used in e.g. a function name.
TS: Fixed much of the printing of user typed (single tagged tuple) variables and expressions.