An (under construction) interactive walk from the untyped lambda calculus through a simple programming language