Function open_binder 

pub fn open_binder(body: &Expr, id: FVarId) -> Expr

Replace the outermost BVar(0) of a body with FVar(id) (open a binder).

This is the “open” operation in locally nameless representation.