Added reductions MinReduce, MaxReduce, SumReduce, ProdReduce.
Update emacs mode.