Lambda Lifting Chapter

Tie this into the SAT chapter: https://github.com/input-output-hk/hs-opt-handbook.github.io/issues/62

and have a discussion on use cases for the function being optimized. That is, answer _when_ one might want to keep arguments on the stack with a lambda lift, and when one might want to SAT to avoid excess stack allocs.