anchor.diff:                                        | _ -> ()
                                 let rbind = NormalizedRecBindingDefn(containerInfo,newslotsOK,declKind,bind)
                                 let overridesOK  = DeclKind.CanOverrideOrImplement(declKind)
  -                              let (binds,_values),(tpenv,recBindIdx) = AnalyzeAndMakeRecursiveValue overridesOK false cenv env (tpenv,recBindIdx) rbind
  +                              let (binds,_values),(tpenv,recBindIdx) = AnalyzeAndMakeAndPublishRecursiveValue overridesOK false cenv env (tpenv,recBindIdx) rbind
                                 let cbinds = [ for rbind in binds -> PassAMember rbind ]
   
                                 let innerState = (incrClassCtorLhsOpt, env, tpenv, recBindIdx, List.rev binds @ uncheckedBindsRev)
  
positive.code:     ((primaryBinding::extraBindings),(vspec::extraValues)),(tpenv,recBindIdx)
  
  
  and AnalyzeAndMakeRecursiveValues overridesOK cenv env tpenv binds = 
      let recBindIdx = 0
      let res,tpenv = List.mapFold (AnalyzeAndMakeRecursiveValue overridesOK false cenv env) (tpenv,recBindIdx) binds
      let bindings, values = List.unzip res
      List.concat bindings, List.concat values, tpenv
  
  
negative.code:            | MutRecShape.Lets _ -> [elem]
             | MutRecShape.Module (c,d) -> [MutRecShape.Module (c, expandTycons f1 d)])
  
     let rec mapFoldWithEnv f1 z env xs = 
         (z,xs) ||> List.mapFold (fun z x ->
             match x with
  