型なしラムダ計算　実装
untypedのテストを追加