Top level elaboration

Author: biboudis

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

@@ -275,9 +275,26 @@ implied for Conversion[String, Token] {
 }
 ```
 
-It is worth mentioning that we now allow arbitrary definitions at the top level.
-This means package objects are now redundant, and will be phased out.
-You can read about [dropping package objects](https://dotty.epfl.ch/docs/reference/dropped-features/package-objects.html)
+_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).