Changed binders + Unchanged Errors
Use previously saved info to generate DiffCheck target
Use target binders to generate DiffCheck target
Save current information for next time
Names of top-level binders that are rechecked
CoreBinds defining given set of Var