let empty_environment = 
  {
    type_info        = Env.empty;
    data_constructor = Env.empty
  }