Added Typelevel Scala article.

For review and feedback before publishing ...
Yes that's right too. The semantic differences are relatively listed here: http://www.scala-js.org/doc/semantics.html