Add REDUCE and FOLD to Util