comonad name aliases, a little documentation, and promoting the localmean for an example