refactored Kleisli and KleisliArrow, introduced Cokleisli, CokleisliFunctor and CokleisliArrow

git-svn-id: http://highj.googlecode.com/svn@181 bdcd8b68-9dcc-aa74-f1b9-b4da3e61a8cc
Edited wiki page News through web user interface.

git-svn-id: http://highj.googlecode.com/svn@182 bdcd8b68-9dcc-aa74-f1b9-b4da3e61a8cc
Edited wiki page Basics through web user interface.

git-svn-id: http://highj.googlecode.com/svn@183 bdcd8b68-9dcc-aa74-f1b9-b4da3e61a8cc
Edited wiki page Basics through web user interface.

git-svn-id: http://highj.googlecode.com/svn@184 bdcd8b68-9dcc-aa74-f1b9-b4da3e61a8cc
replaced all µ in type-classes by appropriate letters (F for Functor, M for Monad etc), now only the inner static classes are called µ

git-svn-id: http://highj.googlecode.com/svn@185 bdcd8b68-9dcc-aa74-f1b9-b4da3e61a8cc
Edited wiki page NamingConventions through web user interface.

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