anchor.diff:         [MutRecShape.Lets (List.concat preBinds)] @ 
          (xs |> List.map (fun elem -> 
              match elem with 
  -           | MutRecShape.Module ((c,env2),d) -> MutRecShape.Module ((c,env2), expandTycons f1 env2 d)
  +           | MutRecShape.Module ((c,env2),d) -> MutRecShape.Module ((c,env2), expandTyconsWithEnv f1 env2 d)
              | _ -> elem)) @
          [MutRecShape.Lets (List.concat postBinds)] 
   
  
positive.code:         let withEntities = 
              typeDefCores 
              |> MutRecShapes.mapWithParent 
                   parent 
                   // Do this for each module definition, building the initial Entity:
                   (fun innerParent modInfo -> 
                       TcTyconDefnCore_Phase1A_BuildInitialModule cenv envInitial innerParent modInfo) 
  
                   // Do this for each type definition, building the initial Tycon:
                   (fun innerParent (typeDefCore,tyconMemberInfo) -> 
                       let (MutRecDefnsPhase1DataForTycon(_,_,_,_,_,isAtOriginalTyconDefn)) = typeDefCore
                       let tyconOpt = 
                           if isAtOriginalTyconDefn then 
                               Some (TcTyconDefnCore_Phase1A_BuildInitialTycon cenv envInitial innerParent typeDefCore)
                           else 
                               None 
                       (typeDefCore, tyconMemberInfo, innerParent), tyconOpt) 
  
                   // Do this for each 'let' definition (just package up the data, no processing)
                   (fun innerParent synBinds ->               
                      let containerInfo = ModuleOrNamespaceContainerInfo(match innerParent with Parent p -> p | _ -> failwith "unreachable")
                      mkLetInfo containerInfo synBinds)
  
  
negative.code:         let binds1,exnc = TcExnDefnCore cenv envInitial parent core
          let envMutRec =  AddLocalExnDefnAndReport cenv.tcSink scopem exnc (AddLocalTycons cenv.g cenv.amap scopem [exnc] envInitial)
  
          let defns = [MutRecShape.Tycon(MutRecDefnsPhase2DataForTycon(Some exnc, parent, ModuleOrMemberBinding, mkLocalEntityRef exnc, None, NoSafeInitInfo, [], aug, m, NoNewSlots))]
          let binds2,envFinal = TcMutRecDefns_Phase2 cenv envInitial m scopem (envMutRec, defns)
          let binds2flat = binds2 |> MutRecShapes.collectTycons |> List.map snd |> List.concat
          // Augment types with references to values that implement the pre-baked semantics of the type
  