Changes based on feedback

Author: josh11b

proposals/p3720.md

@@ -365,8 +365,8 @@ impl __RefBind_C_Static as Call(()) with .Result = i32;
 impl __TypeOf_C_Static as Call(()) where .Result = i32;
 ```
 
-**Note**: We could reduce the number of implementations required by making
-`__RefBind_*` an
+**Future work**: We could reduce the number of implementations required by
+making `__RefBind_*` an
 [extending adapter](/docs/design/generics/details.md#extending-adapter) of the
 corresponding `__ValueBind_*` class.
 
@@ -722,6 +722,8 @@ impl C as I {
 Results in this implementation:
 
 ```carbon
+fn C_I_F(__self: C
+
 impl __ValueBind_I_F(C) as Call(()) where .Result = () {
   fn Op[self: Self]() {
     let __self: C = self as C;
@@ -737,9 +739,11 @@ c.(I.F)() == c.(__I_F)()
           == __I_F.((__TypeOf_I_F as ValueBind(C)).Op)(c)()
           == (c as __ValueBind_I_F(C))()
           == ((c as __ValueBind_I_F(C)) as Call(())).Op()
-          == Fanfare(c)
 ```
 
+Which results in invoking the above implementation that will ultimately call
+`Fanfare(c)`.
+
 ### Non-instance interface members
 
 Non-instance members use the `TypeBind` interface instead. For example, if `G`
@@ -799,9 +803,10 @@ C.(J.G)() == C.(__J_G)()
           == __J_G.((__TypeOf_J_G as TypeBind(C)).Op)()()
           == ({} as __TypeBind_J_G(C))()
           == (({} as __TypeBind_J_G(C)) as Call(())).Op()
-          == Fireworks()
 ```
 
+Which calls the above implementation that calls `Fireworks()`.
+
 > **Note:** Binding for non-instance members doesn't work with `ValueBind`, we
 > need `TypeBind`. Otherwise there is no way to get the value `C` into the
 > result type. Furthermore, we want `TypeBind` implementation no matter which