Address second wave of comments

Author: biboudis

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

@@ -6,12 +6,13 @@ authorImg: /images/aggelos.jpg
 date: 2019-03-04
 ---
 
-Hello hello! This is the second release for 2019, let's call it the _Contextual_
-release and you will understand why we are super excited in a bit! ✨🎊🎉
+Hello hello! This is the second release for 2019. Spark, top level definitions
+and redesigned implicits ✨🎊🎉 are the most important inclusions in this release
+and you will understand why we are super excited, in a bit!
 
-Without further ado, today we release the version 0.13.0-RC1 of the Dotty compiler.
-This release serves as a technology preview that demonstrates new language features and the
-compiler supporting them.
+Without further ado, today we release the version 0.13.0-RC1 of the Dotty
+compiler. This release serves as a technology preview that demonstrates new
+language features and the compiler supporting them.
 
 Dotty is the project name for technologies that are being considered for
 inclusion in Scala 3. Scala has pioneered the fusion of object-oriented and
@@ -55,6 +56,26 @@ Scala 2, and that was enough to make our Spark assignments run correctly! This
 doesn't mean that our support is perfect however, so don't hesitate to [open an
 issue](http://github.com/lampepfl/dotty/issues) if something is amiss.
 
+## 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.
+
+```scala
+package p
+
+type Labelled[T] = (String, T)
+
+val a: Labelled[Int] = ("count", 1)
+def b = a._2
+```
+
+You can read about [dropping package
+objects](https://dotty.epfl.ch/docs/reference/dropped-features/package-objects.html)
+at the documentation linked or at the relevant PR
+[#5754](https://github.com/lampepfl/dotty/pull/5754).
+
 ## All things impl... implied
 
 Scala's implicits are its most distinguished feature. They are _the_ fundamental
@@ -125,7 +146,7 @@ implied ListOrd[T] given (ord: Ord[T]) for Ord[List[T]] {
 }
 ```
 
- A `given` clause can also designate an inferable parameter for functions:
+A `given` clause can also designate an inferable parameter for functions:
 
 ```scala
 def max[T](x: T, y: T) given (ord: Ord[T]): T =
@@ -180,7 +201,7 @@ object B {
 }
 ```
 
-You can read more about [implied
+**You can read more about** [implied
 imports](https://dotty.epfl.ch/docs/reference/contextual/import-implied.html)
 from the docs or the relevant PR
 [#5868](https://github.com/lampepfl/dotty/pull/5868).
@@ -196,7 +217,7 @@ Context queries--previously named implicit function types (IFTs)--are now also
 expressed with `given`, providing types for first-class context queries. This is
 merely an alignment of IFTs into the new scheme.
 
-You can read about the alternative to implicits through the *Contextual
+**You can read more about** the alternative to implicits through the *Contextual
 Abstractions* section of our documentation or for a deep dive from the relevant
 PR chain that originated from
 [#5458](https://github.com/lampepfl/dotty/pull/5458). The syntax changes for new
@@ -248,9 +269,9 @@ it has a definition like this:
 def derived[T] given Generic[T] = ...
 ```
 
-You can read more about [Typeclass
+**You can read more about** [Typeclass
 Derivation](https://dotty.epfl.ch/docs/reference/contextual/derivation.html) or
-for a deep dive at the relevant PRs:
+have a deep dive at the relevant PRs:
 [#5540](https://github.com/lampepfl/dotty/pull/5540) and
 [#5839](https://github.com/lampepfl/dotty/pull/5839).
 
@@ -263,7 +284,7 @@ provide a derived implicit instance:
 implied for Eql[Int, String] = Eql.derived
 ```
 
-You can read how we based multiversal equality on typeclass derivation through
+**You can read more about** how we based multiversal equality on typeclass derivation through
 the relevant PR [#5843](https://github.com/lampepfl/dotty/pull/5843).
 
 _Implicit conversions_ are now defined by implied instances of the
@@ -275,32 +296,11 @@ implied for Conversion[String, Token] {
 }
 ```
 
-_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.
-
-```scala
-package p
-
-type Labelled[T] = (String, T)
-val a: Labelled[Int] = ("count", 1)
-def b = a._2
-
-case class C()
-
-implicit object Cops {
-  def (x: C) pair (y: C) = (x, y)
-}
-```
-
-You can read about [dropping package
-objects](https://dotty.epfl.ch/docs/reference/dropped-features/package-objects.html)
-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/).**
+**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.
 
 ## Implicit resolution rule changes
 

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