adds CellState type and related operations such as marking or checking cell.