In Penknife, optimized the compiler output to reuse small natural numbers rather than constructing them each time. This reduced demo loading from ~9.5s to ~8.5s.