Found an interesting way to support constraint solving and compiling programs that use the new solver.