More documentation updates.

Cleaned up some documentation and added a note about added functionality (type checked matrix expressions)
when GHC 7.8 is released.