[chris-laffra]

One use of type tracing is to automatically generate unit tests, as done by Auger: https://github.com/laffra/auger.