Add basic logic related to updating tuples.
Split tuple updating into separate case handlers.
Update the formulation of CGF and CS.
Add more code to the sketch of Reducing.
Remove redundant logging context.
Expose a bug in `goodPair`.
Add some logging to structure identification.
Add missing steps to Reducing.