Add pretty-print for part-of