Massive cleanup to vector pretty printing.

I didn't know how to use super when I originally wrote this printer,
apparently. Using that makes it way, way cleaner. Also, the new approach is a
little "simpler", but it should be fine in practice.