Function debrijun_internal 

pub fn debrijun_internal<X: From<usize> + Binder, Y>(
    x: Term,
    depth: usize,
) -> GTerm<X, Y>
where
    <X as Binder>::Var: From<usize>,