FInalized todo/checkers.sats

end result of planning session