got all the type issues sorted out (still room for improvement)

Everything is compiling, what remains is to implement SolverState, which will require getting an id into the Expr's.
Then to actually use the Solver algorithm to solve the Sudoku test.
THEN to implement the Sudoku test using IntervalDomains instead of ExplicitDomains.