Overhaul of recursion schemes

[gallais]

A follow-up of sorts of #278:

Add other recursion schemes. For inspiration, look at: https://hackage.haskell.org/package/recursion-schemes-5.0.3/docs/Data-Functor-Foldable.html

[clayrat]

If I may ask here, are there any techniques on working with refolds, like hylo, in total setting? Refolds look inherently partial to me, as they mix data with codata.

[gallais]

I don't know! I haven't tagged this "low hanging fruit" precisely because there's all
of these questions about totality.

[clayrat]

Found this, not sure if it's relevant.