Old experiments with datatypes are now in DatatypeExperiments. New line of work with Applicative CellExprs is in Checked, and factored out (unchecked) cell reference code from PlaneZipper into new file Safe.