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