Internal.Bit: Replace maybe with pattern matching
Move satToIO to Problem; solveWith to Solver (which also reexports Solver.Minisat)
Solution: Kill the Witness for now