Properly dereference multilevel pointers in the prettyprinter.

ArrayElems are currently an exception, but that will be fixed.