Playing Sudoku in TypeScript while the type checker highlights mistakes - eviltoast