let add_type_constructor env t x = 
  { env with type_info = Env.add env.type_info t x }