fixed bug in Comonad, covariant return types in bifunctor package, minor improvements

git-svn-id: http://highj.googlecode.com/svn@191 bdcd8b68-9dcc-aa74-f1b9-b4da3e61a8cc