WyC: making progress documenting the code generator.