- lambda ： ラムダ抽象 assume
- backlog ： バックログラムダ抽象 postulate / demand 要請、ラムダ抽象だがバックログだとマークする。ラムダ変数はバックログ変数＝スタブ＝ダミー。
- prepare ： 引数の準備
- next ： 区切り記号
- and_also ： 区切り記号
- end ： 終端記号
prepare A1 := α1 ... An := αn let x:B := β ...
展開形
let _1 : A1 := α1 ... let _n: An := αn let x:B := β _1 ... _n ...
returnのとき：
prepare A1 := α1 ... An := αn return β : B end
展開形
let _1 : A1 := α1 ... let _n: An := αn return (β _1 ... _n : B) end
