tweaks to lambda calculus notebook