let dom_of = function
  | External(_,d) -> d
  | Rename(_,_,d) -> d
  | Slack(_,_,d) -> d
  | Fresh(_,_,d) -> d
  | Bound _ -> None