An idempotent re-tracing primitive.
A library for applying transformations to builtin libraries.
Make traced_builtins use the new library.
Add traced sum implementation.
Deal with patching in primitives more generally.
The idempotent re-tracing transform.
First pass at allocation removal.
Script to generate preambles.
Full test script.
Current test cases.
Remove old preambles.