Editorial changes.

Author: hborla

proposals/NNNN-init-accessors.md

@@ -70,8 +70,8 @@ struct Angle {
     self.degrees = degrees // initializes 'self.degrees' directly
   }
 
-  init(radians: Double) {
-    self.radians = radians // calls init accessor with 'radians'
+  init(radiansParam: Double) {
+    self.radians = radiansParam // calls init accessor for 'self.radians', passing 'radiansParam' as the argument
   }
 }
 ```
@@ -82,7 +82,7 @@ Access effects allow a computed property to be initialized by placing its conten
 
 ```swift
 struct ProposalViaDictionary {
-  private var dictionary: [String: String] = [:]
+  private var dictionary: [String: String]
 
   var title: String {
     init(newValue) accesses(dictionary) {
@@ -103,6 +103,7 @@ struct ProposalViaDictionary {
   }
 
   init(title: String, text: String) {
+    self.dictionary = [:] // 'dictionary' must be initialized before init accessors access it
     self.title = title // calls init accessor to insert title into the dictionary
     self.text = text   // calls init accessor to insert text into the dictionary
 
@@ -158,17 +159,26 @@ init-effect -> 'initializes' '(' identifier-list ')'
 
 access-effect -> 'accesses' '(' identifier-list ')'
 
-identifier-list -> identifier
-identifier-list -> identifier ',' identifier-list
-
 accessor-block -> init-accessor
 ```
 
-The `identifier` in an `init-accessor-parameter`, if provided, is the name of the parameter that contains the initial value. If not provided, a parameter with the name `newValue` is automatically created.
+The `identifier` in an `init-accessor-parameter`, if provided, is the name of the parameter that contains the initial value. If not provided, a parameter with the name `newValue` is automatically created. The minimal init accessor has no parameter list and no initialization effects:
+
+```swift
+struct Minimal {
+  var value: Int {
+    init {
+      print("init accessor called with \(newValue)")
+    }
+
+    get { 0 }
+  }
+}
+```
 
 ### `init` accessor signatures
 
-`init` accessor declarations can optionally specify a signature. An `init` accessor signature is composed of a parameter for the initial value, a list of stored properties that are initialized by this accessor specified with the contextual `initializes` keyword, and a list of stored properties that are accessed by this accessor specified with the contextual `accesses` keyword, all of which are optional:
+`init` accessor declarations can optionally specify a signature. An `init` accessor signature is composed of a parameter list, followed by an initialization effects specifier clause. The initialization effects can include a list of stored properties that are initialized by this accessor specified in the argument list of the contextual `initializes` keyword, and a list of stored properties that are accessed by this accessor specified in the argument list of the contextual `accesses` keyword, each of which are optional:
 
 ```swift
 struct S {