add let-over-lambda

[shriram]

Use heap diagrams!

[shriram]

Introduce it as an abstraction over two memoizations, for fib and catalan. Show that if run together, their tests clash, so we need to abstract.