Added Typelevel Scala article.

For review and feedback before publishing ...
I don't think that's an accurate description of the Dotty compiler. The Dotty project explores compiler technology for implementing "Don Giovanni" (see http://scala-lang.org/news/roadmap-next). It's scope is thus much wider than the DOT calculus. I'm sure Martin would be happy to clarify it in his own words.