anchor.diff:          timeStamper cache ctok
                   
       // Link all the assemblies together and produce the input typecheck accumulator               
  -    let CombineImportedAssembliesTask ctok : Cancellable<SemanticModel> =
  +    let CombineImportedAssembliesTask ctok : Cancellable<BoundModel> =
         cancellable {
           let errorLogger = CompilationErrorLogger("CombineImportedAssembliesTask", tcConfig.errorSeverityOptions)
           // Return the disposable object that cleans up
  
positive.code:                 beforeFileChecked, fileChecked, tcInfo, Eventually.Done (Some tcInfoOptional), None) }
                  
      /// Type check all files.     
      let TypeCheckTask ctok (prevSemanticModel: SemanticModel) syntaxTree: Eventually<SemanticModel> =
          eventually {
              RequireCompilationThread ctok
              let! semanticModel = prevSemanticModel.Next(syntaxTree)
              // Eagerly type check
              // We need to do this to keep the expected behavior of events (namely fileChecked) when checking a file/project.
              let! _ = semanticModel.GetState(enablePartialTypeChecking)
              return semanticModel
          }
  
      /// Finish up the typechecking to produce outputs for the rest of the compilation process
      let FinalizeTypeCheckTask ctok (semanticModels: SemanticModel[]) = 
        cancellable {
          DoesNotRequireCompilerThreadTokenAndCouldPossiblyBeMadeConcurrent  ctok
  
  
negative.code:             cancellable {
                  computeStampedReferencedAssemblies cache ctok
  
                  let! result = computeInitialBoundModel ctok
                  return Some(result, DateTime.MinValue)
              }
          else         
              let evalUpTo =
                  cancellable {
                      for slot = 0 to targetSlot do
                          do! computeBoundModel cache ctok slot
                  }
              cancellable {
                  computeStampedReferencedAssemblies cache ctok
  