Function brujin_map_f 

pub fn brujin_map_f<X: Binder, Y: Binder, M>(
    t: GTerm<X, Infallible>,
    into: &mut impl FnMut(usize) -> Y,
) -> GTerm<Y, M>
where
    <X as Binder>::Var: Eq + Ord + Clone,