Agreed, these things could definitely do with plain, descriptive names rather than "hylo-mylo-bananafofylo-morphism". Like cata -> recursiveFold, ana -> [co]recursiveUnfold, hylo -> recursiveRefold, etc. It's tricky because i.e. there are many different "refold"s, but the others could be qualified further (and are comparatively rare in the field, I think...)