Function shift 

pub fn shift(expr: &Expr, amount: i32, cutoff: u32) -> Expr

Shift all free de Bruijn indices in expr by amount.

Indices ≥ cutoff are shifted; indices < cutoff are bound and left unchanged. Used when inserting an expression under new binders.