Add support for 'killer' sudoku. Various improvements