unify/reify_tuple -> unify/reify_seq