Function shift_bound_var_indices 

pub fn shift_bound_var_indices<I, T>(cx: I, bound_vars: usize, value: T) -> T
where
    I: Interner,
    T: TypeFoldable<I>,

Shifts escaping bound-variable indices by bound_vars without changing their De Bruijn depth.