enhance Debug
add dummy Evaluator::reduce
fix reduce, add +,-,*,/