Minor fixes by Taylor Rydahl to lambda calculus visualizations and exercises