pub fn lower(expr: &Expr) -> Expr
Shift all free de Bruijn indices down by 1 (used after substituting under a binder).