Store value as a bit vector.
Merge options and value field in Cell.
Add `is_solved` method.