Remove map for streams.
Snapshot.
Missing proof for pushing renval inside unFold.