Type pretty printer doesn't terminate

[paf31]

Values and Kinds seem to work, but Types generates a stack overflow in node.

Also, we might want to consider using fix to implement the pretty printers so that we don't have to explicitly thunk everything.