Move top level on a separate section and adjust terminology of IFTs

Author: biboudis

docs/blog/_posts/2019-03-04-13th-dotty-milestone-release.md

@@ -275,6 +275,14 @@ implied for Conversion[String, Token] {
 }
 ```
 
+**Note:** that these release notes contain only a brief summary of the new
+features, for more details please read our documentation page under the new
+section named [*Contextual Abstractions*](https://dotty.epfl.ch/docs/). Equally
+important with the documentation of each feature, please consult the
+[Relationship with Scala 2 Implicits](https://dotty.epfl.ch/docs/reference/contextual/relationship-implicits.html) section as well.
+
+## Introducing top level definitions
+
 _Top level_ definitions are now supported. This means that package objects are
 now redundant, and will be phased out. This means that all kinds of definitions
 can be written at the top level.
@@ -286,9 +294,9 @@ type Labelled[T] = (String, T)
 val a: Labelled[Int] = ("count", 1)
 def b = a._2
 
-case class C()
+final case class C()
 
-implicit object Cops {
+implied {
   def (x: C) pair (y: C) = (x, y)
 }
 ```
@@ -298,10 +306,6 @@ objects](https://dotty.epfl.ch/docs/reference/dropped-features/package-objects.h
 at the documentation linked or at the relevant PR
 [#5754](https://github.com/lampepfl/dotty/pull/5754).
 
-**This blogpost offers only a brief summary of the new features, for more details
-please read our documentation page under the new section named [*Contextual
-Abstractions*](https://dotty.epfl.ch/docs/).**
-
 ## Implicit resolution rule changes
 
 PR [#5887](https://github.com/lampepfl/dotty/pull/5887) applies the following

docs/docs/reference/contextual/relationship-implicits.md

@@ -107,9 +107,9 @@ Extension methods in implicit instances have no direct counterpart in Scala-2. T
 
 Typeclass derivation has no direct counterpart in the Scala 2 language. Comparable functionality can be achieved by macro-based libraries such as Shapeless, Magnolia, or scalaz-deriving.
 
-### Implicit Function Types
+### Context Query types
 
-Implicit function types have no analogue in Scala 2.
+Context Query types have no analogue in Scala 2.
 
 ### Implicit By-Name Parameters