anchor.diff:                            | Some (Item.UnqualifiedType _) 
                             | None -> NoResultsOrUsefulErrors
                             | Some res -> OneSuccess (resInfo,FreshenUnqualifiedItem ncenv m res,rest)
  -
  -                  moduleSearch +++ tyconSearch +++ envSearch
  +                  
  +                  moduleSearch ad () +++ tyconSearch ad +++ envSearch
   
                 let resInfo,item,rest = 
                     match AtMostOneResult m search with 
                     | Result _ as res -> ForceRaise res
                     | _ ->
  -                      let innerSearch =
  -                          let moduleSearch = moduleSearch AccessibleFromSomeFSharpCode
  -              
  -                          match moduleSearch with
  -                          | Result res when not (isNil res) -> moduleSearch
  -                          | _ ->
  -
  -                          let tyconSearch = tyconSearch AccessibleFromSomeFSharpCode
  -
  -                          match tyconSearch with
  -                          | Result res when not (isNil res) -> tyconSearch
  -                          | _ ->
  -
  -                          search +++ moduleSearch +++ tyconSearch
  +                      let innerSearch = search +++ (moduleSearch AccessibleFromSomeFSharpCode) +++ (tyconSearch AccessibleFromSomeFSharpCode)
   
                         let suggestEverythingInScope() =
                             seq { yield! 
  
positive.code:                     success(resInfo,tcref)
                  | [] -> 
                      // failing case - report nice ambiguity errors even in this case
                      AtMostOneResult m2 ((searchSoFar +++ modulSearchFailed()) |?> (fun tcrefs -> CheckForTypeLegitimacyAndMultipleGenericTypeAmbiguities (tcrefs, typeNameResInfo, genOk, m)))
              
              | _ ->  
                  // failing case - report nice ambiguity errors even in this case
                  AtMostOneResult m2 ((searchSoFar +++ modulSearchFailed()) |?> (fun tcrefs -> CheckForTypeLegitimacyAndMultipleGenericTypeAmbiguities (tcrefs, typeNameResInfo, genOk, m)))
  
  
  /// Resolve a long identifier representing a type and report it
  
negative.code:         | _ ->
              NoResultsOrUsefulErrors
  
      // Constructor of a type? 
      let ctorSearch() = 
          if isNil rest then
              tcrefs.Force()
              |> List.map (fun (resInfo,tcref) -> (resInfo,FreshenTycon ncenv m tcref)) 
  