試行錯誤 2014-11-27
free-variablesを取り出す関数を定義した（が使う必要があるのかどうか不明）
alpha-convをすすめてみたが、やはりvarの定義がまずく修正予定。
Varを使わない状態にしてみたが黄色が消えない
黄色が消えないのは二重定義のeasy missでした
混乱してきたので休憩