Function brujin_map 

pub fn brujin_map<X: Binder, Y: Binder + From<usize>, M>(
    t: GTerm<X, Infallible>,
) -> GTerm<Y, M>
where
    <X as Binder>::Var: Eq + Ord + Clone,
    <Y as Binder>::Var: From<usize>,