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

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!).