A port of Norvig's sudoku solver, written in F#