Added Typelevel Scala article.

For review and feedback before publishing ...
Sure they can change syntax: https://github.com/scalameta/scalahost/blob/caa75f8d4a5096b5399d903a763944d8abd93294/plugin/src/main/scala/parser/HijackSyntaxAnalyzer.scala + the same approach can be applied to change the typing rules: https://github.com/scalameta/scalahost/blob/caa75f8d4a5096b5399d903a763944d8abd93294/plugin/src/main/scala/macros/HijackAnalyzer.scala.