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:   | Type (s, ts, kind, t) when s=x -> (Some (Type_info (ts, kind, t)), x)
    | Const (s, t) when s=x -> (Some (Info (t, None)), x)
    | Unsupported (s) when s=x -> (Some (Name s), x)
    | Include_module (s, opened) ->
      let r = Map.tryFind x env.declsmap in
      match r with
      | Some r -> (Some r, x)
  
negative.code:   | _ -> None
  
  let check_not_local env x = 
    match lookup_name env x false with
    | (Some (Info (t, info)), _) -> err ("formal: " + (err_id x) + " is a local variable")
    | _ -> ()
  
  