anchor.diff:          // Pass 1 - allocate indexes for types 
           //=====================================================================
   
  -        let addILTypeName enc (td: ILTypeDef) = enc@[joinILTypeName td.Namespace td.Name]
  +        let addILTypeName enc (td: ILTypeDef) = enc@[(if td.IsNested then td.Name else joinILTypeName td.Namespace td.Name)]
   
           let rec GenTypeDefPass1 enc cenv (td:ILTypeDef) = 
             ignore (cenv.typeDefs.AddUniqueEntry "type index" (fun (TdKey (_, _, n)) -> n) (TdKey (enc, td.Namespace, td.Name)))
  
positive.code:             elif f = 0x00000007 then ILTypeDefAccess.Nested ILMemberAccess.FamilyOrAssembly
              elif f = 0x00000005 then ILTypeDefAccess.Nested ILMemberAccess.Assembly
              else ILTypeDefAccess.Private
  
          member tdef.IsStructOrEnum =
              match tdef.Kind with
  
negative.code:           lazy
              match container with
              | TypeContainer.Namespace (_,nsp) -> nsp
              | TypeContainer.Type t           -> t.Namespace
              | TypeContainer.TypeToBeDecided -> failwith (sprintf "type '%s' was not added as a member to a declaring type" className)
  
          let declaringType =
  