These functions return the indices of the (top level) elements of
rdo which satisfy a condition.
Rdo_which finds elements of rdo for which
the function fun gives TRUE.
Rdo_which_tag_eq finds elements with a specific Rd_tag.
Rdo_which_tag_in finds elements whose Rd_tag's are among
the ones specified by tags.