Generalize folds from Comonads to Adjunctions.

[sellout]

As described in Unifying Structured Recursion Schemes, we can define adjoint folds that cover all of the current Comonadic folds as well as a number of others that don’t fall under the Comonad model (mutu being the one non-comonadic case we currently have implemented).