change reference docs from implied to implicit

Author: odersky

docs/docs/reference/contextual-implicit/import-implied.md

@@ -5,11 +5,11 @@ title: "Context Bounds"
 
 ## Context Bounds
 
-A context bound is a shorthand for expressing a common pattern of an implicit parameter that depends on a type parameter. Using a context bound, the `maximum` function of the last section can be written like this:
+A context bound is a shorthand for expressing a common pattern of an inferable parameter that depends on a type parameter. Using a context bound, the `maximum` function of the last section can be written like this:
 ```scala
 def maximum[T: Ord](xs: List[T]): T = xs.reduceLeft(max)
 ```
-A bound like `: Ord` on a type parameter `T` of a method or class is equivalent to a given clause `given Ord[T]`. The implicit parameter(s) generated from context bounds come last in the definition of the containing method or class. E.g.,
+A bound like `: Ord` on a type parameter `T` of a method or class indicates an inferable parameter `given Ord[T]`. The inferable parameter(s) generated from context bounds come last in the definition of the containing method or class. E.g.,
 ```scala
 def f[T: C1 : C2, U: C3](x: T) given (y: U, z: V): R
 ```

docs/docs/reference/contextual-implicit/instance-defs.md

@@ -3,20 +3,20 @@ layout: doc-page
 title: "Implicit Conversions"
 ---
 
-Implicit conversions are defined by implicit instances of the `scala.Conversion` class.
+Implicit conversions are defined by implied instances of the `scala.Conversion` class.
 This class is defined in package `scala` as follows:
 ```scala
 abstract class Conversion[-T, +U] extends (T => U)
 ```
 For example, here is an implicit conversion from `String` to `Token`:
 ```scala
-implicit for Conversion[String, Token] {
+implied for Conversion[String, Token] {
   def apply(str: String): Token = new KeyWord(str)
 }
 ```
-Using an alias implicit this can be expressed more concisely as:
+Using an implied alias this can be expressed more concisely as:
 ```scala
-implicit for Conversion[String, Token] = new KeyWord(_)
+implied for Conversion[String, Token] = new KeyWord(_)
 ```
 An implicit conversion is applied automatically by the compiler in three situations:
 
@@ -25,19 +25,19 @@ An implicit conversion is applied automatically by the compiler in three situati
 3. In an application `e.m(args)` with `e` of type `T`, if `T` does define
    some member(s) named `m`, but none of these members can be applied to the arguments `args`.
 
-In the first case, the compiler looks for an implicit value of class
+In the first case, the compiler looks in the implied scope for a an instance of
 `scala.Conversion` that maps an argument of type `T` to type `S`. In the second and third
-case, it looks for an implicit value of class `scala.Conversion` that maps an argument of type `T`
+case, it looks for an instance of `scala.Conversion` that maps an argument of type `T`
 to a type that defines a member `m` which can be applied to `args` if present.
-If such a value `C` is found, the expression `e` is replaced by `C.apply(e)`.
+If such an instance `C` is found, the expression `e` is replaced by `C.apply(e)`.
 
 ## Examples
 
 1. The `Predef` package contains "auto-boxing" conversions that map
 primitive number types to subclasses of `java.lang.Number`. For instance, the
 conversion from `Int` to `java.lang.Integer` can be defined as follows:
 ```scala
-implicit int2Integer for Conversion[Int, java.lang.Integer] =
+implied int2Integer for Conversion[Int, java.lang.Integer] =
  java.lang.Integer.valueOf(_)
 ```
 
@@ -59,9 +59,9 @@ object Completions {
     //
     //   CompletionArg.fromStatusCode(statusCode)
 
-    implicit fromString     for Conversion[String, CompletionArg]               = Error(_)
-    implicit fromFuture     for Conversion[Future[HttpResponse], CompletionArg] = Response(_)
-    implicit fromStatusCode for Conversion[Future[StatusCode], CompletionArg]   = Status(_)
+    implied fromString for Conversion[String, CompletionArg] = Error(_)
+    implied fromFuture for Conversion[Future[HttpResponse], CompletionArg] = Response(_)
+    implied fromStatusCode for Conversion[Future[StatusCode], CompletionArg] = Status(_)
   }
   import CompletionArg._