working on fixing BC rule retraction.
added dyna doctest for retracting BC rules.
Merge ../working
`dict=` create something like associative list -- this lets us use it in our
dyna programs.

doctests strip colors

tweak to solution print out: print 'Solution empty' instead of a "Solution"
heading.

proper BC rule retraction.
remove cruft.
use doctester
use doctests