・コンパイルエラーが発生するため，定数 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()　関数を定義する．

・cons 関数の第一引数の型から，第二引数の List のジェネリック型を推論できるようにする．

・文字列型 Str，リストに対する contains() 関数，neq 関数（!= 演算子）を追加した．
・入力チャンネルに複数の出力側リソースが定義されていた場合に，生成されるJavaプロトタイプのメインクラスで，同じ入力めせっどが重複して定義される不具合を修正．
・入力メソッドの引数名をチャンネルに定義されたメッセージの変数名に合わせ，入力メソッドが複数の引数を持つ場合にも対応する．

・if関数の変換をラムダ式で指定するようにした。
・head関数とtail関数を正しく定義した。
・実装型とインタフェース型を区別できるようにした。
・Jerseyプロトタイプ生成で、List型に対応した。（Jerseyの場合、ListはArrayList<String>に変換する。）

・データフローグラフのすべてのエッジの属性が同時に変更されてしまう不具合を修正した。
・Jerseyのプロトタイプを出力できるようにした。
  - List型の受け渡しは未対応
  - 入力エッジが複数存在する場合の更新メソッドを1つにまとめる作業は未対応

・Listの実装型をArrayListにした。
・型情報をきちんとパースするように修正した。（コロンの直後にスペースがあると処理できなかった。）
・consのシグニチャを設定した。

out payment(p:Int, purchase(x)) == x
のように。

・if関数とeq関数の追加。
・数式の文字列出力と実装出力を分けるようにする。

・リソースと変数に型を定義できるようにし、シンボルにシグニチャを定義できるようにした。
・入力側リソースの状態遷移関数で遷移後の項が含んでいる変数の値を、遷移前の項が含んでいる変数の値から求められる場合、求めた値を使って、メッセージ制約を導出するようにした。（そのようにしないと導出できない場合があるため。また、そのようにすることで変数の値の重複定義を回避できる場合があるため。）