Added ternary operator
Didn't need ternary operator
Added map(All)Spots
Added naked single detection
Added doStep(s)
Added infer
Added inferAll
Added type to inferences
Added fixed
Added cmp2
convertAll works
Changed cmp2 to oo
Made Sudoku e an instance of Eq
Solve works with naked singles