Add zip rev example
Add --consize and --unarysize
Change pretty printing slightly