let add_data_constructor env t x = 
  { env with data_constructor = Env.add env.data_constructor t x }