Add の簡約に環境を渡せるようにした.
Multiply の簡約に環境を渡せるようにした.
LessThan の簡約に環境を渡せるようにした.
uc.rb で require するファイルのリストを更新.
仮想機械の実装を追加.
数値の実装を追加 (simple と同じ).