objects renamed
squares format themselves, not the board
board lets square format themselves
solver almost finished

Solver still needs the reductio ad absurdum step when it gets stuck
added back in