update pretty printing to work for both applicative and non-applicative special cases

[joshrule]

It would be nice to update pretty printing to work for both applicative and non-applicative uses of our special case data structures. For example lists constructed with cons/2 or with cons/0 and ./2 should both print nicely (but not lists which mix these two approaches!).