Several lambda calculus implementations while reading TAPL.