let, letrec, and refactored figures for Frank and Core Frank