Using Python to illustrate lambda calculus coversions

Alpha conversion:
   (lambda x : x + 431) ==> (lambda y : y + 431)

Beta reduction:
   (lambda x : x + 431)(19) ==> 19 + 431

Eta conversion:
   (lambda x : 431) (235) ==> 431