Who's your favorite Dwarf? Clearly its Doc!

We need to get the documentation for Scalaz 8 up to date. Lots of new things have been added, and as with most things, documentation runs a little behind. This would be a good first issue for anyone who wants to learn more about the Scalaz 8 ecosystem and the new design choices we've made. Additionally, this would give someone the chance to play around with Tut. I am going to take part in this as well, so the chance to pair up on documentation with me is available.

We also need general Scaladoc documentation within some parts of the code. Types are documentation in strongly typed languages, but Scala is a dynamically typed, low-level scripting language, and therefore needs our help explaining what types do what, when, where, and how.