Exploring comonads

* Added a few references
* Added co(ntra)variance to delegates Try... and Kunc...
* Disabled all (wrong) Lazy stuff related to monad