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