Expressionを具体型に変更
Boolean/LessThanを定義
変数の追加に伴い、簡約時に環境を受け取るようにした
変数を導入
Assign型追加
簡約時に新しい環境を返却するように修正
代入を追加