let lookup_datacon ?pos env k = 
  try
    Env.lookup env.data_constructor k
  with Not_found -> 
    raise (UnboundDataConstructor ((pos_or_undef pos), k))