stdlib: Implement (reduce)

This implements (reduce) from SRFI-1 as a recursive polymorphic
procedure
stdlib: Implement (zip)

This implements (zip) as defined in SRFI-1. Our type system isn't rich
enough to provide an exact type for this procedure.