Index: doc/proposals/modules-gen-hdr/README
===================================================================
--- doc/proposals/modules-gen-hdr/README	(revision b28ce93ef6648a426d1fb594f74b51bfeda9976c)
+++ doc/proposals/modules-gen-hdr/README	(revision f449d1e2eac6e6089dbae8791452abab1a7a7765)
@@ -10,5 +10,7 @@
 
 Terminology
+- auto: as in C, "exported from here;" different from `extern`, which means "exported by someone else" in C
 - shred: "Shredding foo.src.c" means producing the "foo" Key Intermediates from the "foo" Input.
+- value: the opposite of a type, includes function
 - vicious: cyclic dependency that cannot be bootstrapped with the tools under POC
 
@@ -44,6 +46,7 @@
   - (including) expect recourse like multiple manual header fragments to resolve
 - vicious*/recourse-classic
+  - example of a manual header split that resolves the circularity
 - vicious*/recourse-proposed
-
+  - same split, given in a plausible headerless representation that's not demo-implemented
 
 In scope
@@ -74,5 +77,5 @@
 
 Language additions modelled
-- (The proposal is to include nicer versions of these placeholders to CFA)
+- (The proposal is to add nicer versions of these placeholders to CFA)
 - module imports (#import), where `foo` corresponds with foo.c; one of:
 - `#import static foo`: this implementation depends on foo's interface