Add explicit Rec

This means mkProcess is total with the new coinduction implementation,
at the expense of having to be explicit about where recursion happens in
MSG programs.