Function shift_vars 

pub fn shift_vars<I, T>(cx: I, value: T, amount: u32) -> T
where
    I: Interner,
    T: TypeFoldable<I>,