Term Rewriting System の Completionの実装が完了する。NormalFormの取得方法やCriticalPairのRewriteRuleへの追加順序など検討しなければならないことは山ほど残ってるけど、とりあえず、コアの実装は完了。あとはGUIをがりがりと書くだけ。