Handle `let loop` without cells. Specialize for recursive fns.
Handle top-level define better. Add Bubblesort benchmark.