Function abstract_expr 

pub fn abstract_expr(expr: &Expr, fvar: FVarId) -> Expr

Replace FVar with BVar(0), shifting up all existing BVars.

This is the inverse of instantiation, used when forming binders.