solver added to load-demos
added hint functions for constraint demos
turn off debug by default, honor it
make pp-form display keys *and values*
solver goes through and tries bindings, no action though