Print types reasonably nicely.

Implementation assumes that there will be a line that prints the type
of the current value. It then assumes that if a type annotation takes
more than one line than each line after the first will start with
spaces and the next line will not.