Added Typelevel Scala article.

For review and feedback before publishing ...
Scala-Virtualized is a branch of the mainline Scala compiler, which shares most of the latter's code base (> 95%?). What's your take on this, @tiarkrompf?