Generifying zipWith to produce zs from xs and ys; Removing NiladicProcedure in lieu of a use case