Adding some SHOULD-NOT-* BDD macros.
Rearranging some definitions in control.lisp for dependency reasons.