Added an example with min and max, inlined the partial evaluation of catamorphisms, and added parsing of ResultVariable() in orderedsets.Main