work on raw_trav, raw_loop, term, apply_iter, atom_iter