ran isabelle update_op on all sources
n2m operates on (un)folds
derive (co)rec uniformly from (un)fold