Several lambda calculus implementations while reading TAPL book.