Add property-wrapper examples.

Author: filip-sakel

docs/LibraryEvolution.rst

@@ -146,20 +146,23 @@ The following changes are permitted:
 - Reordering generic requirements (but not the generic parameters themselves).
 - Adding a default argument expression to a parameter.
 - Adding, changing, reordering, or removing property wrappers that either are 
-  implementation-detail or belong in a composition leading with an
-  implementation-detail wrapper.
+  implementation-detail (``@ImplementationDetail``) or in a composition where
+  the outermost wrapper is implementation-detail
+  (``@ImplementationDetail @MyWrapper``).
 - Changing or removing a default argument is a `binary-compatible source-breaking change`.
 - Adding, changing, or removing arguments in the property-wrapper custom attribute
-  of an API-level wrapper or in the custom attributes of API-leading compositions
-  is a `binary-compatible source-breaking change`.
+  of an API-level wrapper (``@API(argument: 5)``) or in the custom attributes of compositions
+  where the outermost wrapper is API-level  (``@API @MyWrapper(argument: 5)``) is a 
+  `binary-compatible source-breaking change`.
 - Adding or removing the ``@discardableResult`` and ``@warn_unqualified_access``
   attributes.
 
 No other changes are permitted; the following are particularly of note:
 
 - An ABI-public function may not change its parameters or return type.
-- An ABI-public function may not in any way change API-level property 
-  wrappers or compositions leading with such wrappers.
+- An ABI-public function may not, in any way, change API-level property 
+  wrappers (``@API``) or compositions where the outermost wrapper is 
+  API-level (``@API @MyWrapper``).
 - An ABI-public function may not change its generic requirements.
 - An ABI-public function may not change its external parameter names (labels).
 - An ABI-public function may not add, remove, or reorder parameters, whether or
@@ -421,13 +424,15 @@ stored subscripts. This means that the following changes are permitted:
 - Reordering generic requirements (but not the generic parameters themselves).
 - Adding a default argument expression to an index parameter.
 - Adding, changing, reordering, or removing property wrappers that either are 
-  implementation-detail or belong in a composition leading with an
-  implementation-detail wrapper.
+  implementation-detail (``@ImplementationDetail``) or in a composition where
+  the outermost wrapper is implementation-detail
+  (``@ImplementationDetail @MyWrapper``).
 - Changing or removing a default argument is a `binary-compatible
   source-breaking change`.
 - Adding, changing, or removing arguments in the property-wrapper custom attribute
-  of an API-level wrapper or in the custom attributes of API-leading compositions
-  is a `binary-compatible source-breaking change`.
+  of an API-level wrapper (``@API(argument: 5)``) or in the custom attributes of compositions
+  where the outermost wrapper is API-level  (``@API @MyWrapper(argument: 5)``) is a 
+  `binary-compatible source-breaking change`.
 
 Like properties, subscripts can be marked ``@inlinable``, which makes
 changing the body of an accessor a `binary-compatible source-breaking change`.
@@ -792,14 +797,16 @@ counterparts with a few small changes:
 - Reordering generic requirements (but not the generic parameters themselves)
   is permitted.
 - Adding, changing, reordering, or removing property wrappers that either are 
-  implementation-detail or belong in a composition leading with an
-  implementation-detail wrapper are permitted.
+  implementation-detail (``@ImplementationDetail``) or in a composition where
+  the outermost wrapper is implementation-detail
+  (``@ImplementationDetail @MyWrapper``).
 - Adding a default argument expression to an index parameter is permitted.
 - Changing or removing a default argument is a `binary-compatible
   source-breaking change`.
 - Adding, changing, or removing arguments in the property-wrapper custom attribute
-  of an API-level wrapper or in the custom attributes of API-leading compositions
-  is a `binary-compatible source-breaking change`.
+  of an API-level wrapper (``@API(argument: 5)``) or in the custom attributes of compositions
+  where the outermost wrapper is API-level  (``@API @MyWrapper(argument: 5)``) is a 
+  `binary-compatible source-breaking change`.
 
 Adding a public setter to an ``open`` subscript is a
 `binary-compatible source-breaking change`; any existing overrides will not