let d_free = function
  | Bound(i) -> i
  | _ -> assert false