ahoy
vertex coloring runs to the end
better numbering for instantiations
showing when vars get set
more debugging
Split out Types.hs
Added Debugger
repurposed debug
debugger coming along

But I'm going to take a different
approach. I think everything
will be easier if I add val
as a type parameter everywhere
(similar to constraint).

This way, I don't have to jump through
hoops like UntypedVariable.
Added LightUp and Loopy
Added Newsolver.hs
NewSolver type checks
Comments going forward