Added disqus comments

@larsrh, I've added you to the admins [here](http://typelevel.disqus.com/).