Add flying machine, a taste of lambda calculus.