dbd4a9b5c8
We have chosen to return a variable token for every variable created, instead of referencing puzzle variables by string or something else. Puzzle variables should only be used in the puzzle that created it, though this is neither checked nor enforced. Eventually, we would also like to overload the standard arithmetic symbols to ergonomically build constraint expressions.