Adding remoteness to "lose"

[Ant1ng2]

Dan's Request: GeneralSolver currently doesn't support functionality to display the remoteness of a "losing position". Redesign the implementation of GeneralSolver to support this.

We first need to define a primitive for a losing position. This can be defined as when the generateMoves for legal moves is an empty set.

Next start with CSPs to first find the "losing positions" defined by our primitives. We may need to define another way to store remoteness and values for GeneralSolver, SqliteSolver, and IndexSolver.