評価器を部分的に実装（基本型の評価、四則演算の関数適用）。
型テスト用の関数を追加。
エラー処理を実装。