Fix contracts in SUDOKU_BOARD/set_cell and SUDOKU_CELL/set_value, implementation of routines set and unset of class CELL_TEXT_FIELD
Fix conflicts and merge