WyC: continuing to document the new code generator.