Syntactic and semantic changes related to the recursive 'visit' and
(un)fold algebras.