Typos, cleanup.
Added more thorough applicative documentation.