moved to noweb

Switched things to noweb, and also lost all the Coq code I’d done.  Grr.