Slightly more order in SudokuAgdaHelp.v