Improvements, including docstrings, to Sudoku example