やっと形式チェックではない処理 (sub-var vars args var) 変数に対応する引数 vars 変数のリスト args 引数のリスト var 変数 (sub-es vars args es) （複数の）式の置き換え (sub-e vars args e) （単独の）式の置き換え ここも複数の式を置き換える関数を…