Added PrettyVector. Doesn't quite work as intended yet.