The text at the bottom says this is simply typed lambda calculus, but surely this is untyped lambda calculus.