Simplify and clean. Removed sexp->hdl--dumb entirely. Wasn't contributing.
Rewrote the not-not optimizer using match. It ain't fast, but it is pretty.
Use passed in c0 in and16
Generate nands all the way down and optimize out and-and's.

The optimizer is currently very slow (50s slow) but it is easy to test
and debug so I'm sticking with it for now.