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

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

内の処理で、変数に変数を代入する場合を考慮していなかった。
・単一化で代数系上の変数とプログラム上の変数を単一化しようとする場合があったので。プログラム上の変数を Variable ではなく、 Field
と Parameter で表すようにした。
・項中のパラメータ（Parameter）の一覧を取得したかったので、 Expression#getSubterms(Class<T>)
を作った。また、 Expression#getVariables() は、このメソッドを呼ぶようにした。
・力学演算を行うモデルを追加した。