Rewrite rules for stream/zip<n> from Unboxed