Changed naming in type signature of wrapZ2.
Made Show instance for CellExprs show that a cell contains a set. Still not sure what's the best way to show these objects.