Comment
Added case for Lam in foldWithLet
Temporarily use unique renaming to avoid capturing during inlining
Work on expose
Comment on foldWithLet
Fixed term generators to get bigger terms