Reified: fix free-term-based simplification (TODO: lift captures up)
Reified: renamed ReifiedValue to Reified
Reified: inline all stable captures
Reified: reoptimize loops
Reified: simpler captures flattening
Reified: brought perf back up to previous CaptureTag-based version