New reverse and foldRight method.
Use monoid instance.
New reduce type trait.
Syntax support for Reduce.