join_seq/iter: new 'dead-end' branch
join_seq/iter complete (with flip, tail etc.)
edge join/iter_trav constructors