A key book in the bitops library. This is intended to be a (still lightweight) replacement for books such as ihs/logops-lemmas.lisp.
BOZO this needs a lot of documentation. For now you're best off looking at the source code.
