F# - Sudoku Solver using search trees Step two: The algorithm