Sudoku solver as an exercise in Standard ML