Updated documentation based on `checkdoc' recommendations. Still lots to do.
Updated TODO.