WyC: continued working on documentation of code generator.  There's a lot to do, and I'm not sure that I'll do it all now.