WyC: making progress on documentation of code generator.