Several changes

Changed domain coloring from brightness-based to color-based
Added ability to unset values and still have domains correct
Added naive solver code