tapl_untyped. いやこれTaPLか？とにかく形無しラムダ計算のインタプリタです