ブランチから一部取り込み．）
・入出力チャンネルの ref ポートに対しても input() メソッドを生成していたのを修正．
・List型に関して，set()，get()，head() 関数に関しても型推論ができるようにした．

・初期化コードを保存できるようにした．

・新規コマンド系をサブメニューにまとめた．
・モデルファイルを保存できるようにした．
・削除コマンドを実装した．

・Java出力で，getValue() メソッドが返す型が基本型でない場合，状態のコピーを返すようにする．

カードをソートするSortCardメソッドの追加

2. nil をList型とMap型に限定し，null を追加．
3. if文が入れ子になったときなどに副作用が正しく出力されなかったのを修正．（若干の設計変更あり．）
4. 実行文直後の改行が出力されない場合があったのを修正．
5. 初期化子の型も推論するようにした．
6. ジェネリクス中の型のデフォルトが Integer になっていたのを修正．
7. 酒屋の在庫問題のモデルファイルを追加．

・Tuple 型のパラメータとレスポンスの受け渡しが正しくできていなかった？のを修正。
・if 文で用いるローカル変数の名前が競合していたのを修正。

・Pair クラスのフィールドを left と right に。
・Pair 型の型推論を強化した。
・Pair クラスの追加を JAX-RS のコード生成にも反映させる。
・model ファイルの変更（単位元による遷移を削除、fst/snd関数 → left/right関数）

This reverts commit 0ccc738.

・数値型の間に型階層を導入する．
・Tuple 型の要素の型の違いによる型階層を考慮する．
・その他型推論のもろもろのバグ修正．

ポートを含むようなループのみ受け入れ可能にした．）
・JumpGame.model の追加．
・Tuple 型の pull data transfer の JAX-RS コードが正しく生成されていなかったのを修正．

・メソッド定義で throws を出力できるようにする．
・Tuple を含む List や Tuple そのものを REST API を使って正しく受け渡しできるようにした。
・上記対応のため，Jackson を使うようにした．
・Java の Wrapper 型を返す関数を DataConstraintModel.java に移動した．

・コンパイルエラーが発生するため，定数 nil に対応する Java
のコードで，ボックスオペレータを使わないようにした．（DataConstraintModel.java）
・型推論で，項の間の型の依存関係が不足していた．（TypeInference.java）
・型推論で，等式から項を取り出すときに集合として取り出していたため，同じ形の項が1つにまとめられてしまっていた．（TypeInference.java）
・Position クラスの同一性判定を，リストの長さで行っていたため，結果的に Term#getSubTerms()
ですべての部分項を取ってこれていなかった．（Position.java）
・定数の複製で型情報を複製していなかった．（Constant.java）
・if 関数の項も型推論の対象となるようにした．（TypeInference.java）
シンボルの拡張を，ModelExtension クラスで行うようにした．

・数式の実装表現を生成するときに，副作用コードと式表現を分けて生成できるようにする．
・tuple() 関数が動くようにする．（タプル型インスタンスを生成できるようにする．）
・sum() 関数を GENERATIVE 型のシンボルで定義しなおす．
・merge() 関数を GENERATIVE 型のシンボルで定義する．
・定数 nil の実装．（Parser で登録されている定数を識別できるようにする．）
・List 型の set()，get()　関数を定義する．