simple kern grammar for sudoku rules implemented