let empty = 
  Name.Map.add
    empty_name
    (State (Context.empty))
    Name.Map.empty