I really liked this. It's a nice meander through the basics of lambda calculus. It's striking to me how much insight you can get by visualising stuff, even if it's not a great visualisation and you're doing something super abstract. Perhaps a lesson to take into my own programbles...