let alpha_unbound alpha v old = match old with | Some v' -> Vmap.add v v' alpha | None -> Vmap.remove v alpha