Ok will keep fold1 and reduce as aliases. On the fold1 is it ok to move it from syntax to Process as with other Process1 combinators? I mean we won't have then [F2[x]>:F[x]], which I don`t believe makes any sense anyhow.