Made CellExprs polymorphic over zippers, using GADTs.