Added DPLL, Bricken's Set Insertion.

Did a bunh of clean up too, mostly refactoring.  I moved a bunch of stuff
out for now (like the logic programming stuff.)
Cleaning up and rearranging a bunch of crap.