anchor.diff:    | _ -> err ("cannot find id '" + (err_id x) + "'")
   
   let try_lookup_type (env:env) (x:id): ((typ option * kind) option * id) =
  -  let (t, qx) = lookup_name env x in
  +  let (t, qx) = lookup_name env x true in
     match t with
     | Some (Type_info (ts, k, t)) -> (Some (t, k), qx)
     | Some (Name x) -> unsupported ("unsupported '" + (err_id x) + "'")
  
positive.code:   | _ -> err ("cannot find type '" + (err_id x) + "'")
  
  let try_lookup_proc (env:env) (x:id): (decl_type option * bool) =
    match lookup_name env x with
    | (Some (Proc_decl t), _) -> (Some t, false)
    | (Some (Func_decl t), _) -> (Some t, true)
    | (Some (Name x), _) -> unsupported ("unsupported '" + (err_id x) + "'")
  
negative.code:  {env with scope_mods = scope_mod :: env.scope_mods}
  
  let try_lookup_id (env:env) (x:id): (typ * id_info option) option = 
    match lookup_name env x true with
    | (Some (Info (t, info)), _) -> Some (t, info)
    | (Some (Name x), _) -> unsupported ("unsupported '" + (err_id x) + "'")
    | _ -> None
  