Serious typo in [MiniStream.map_filter].

Looping recursion made the theories loop (witnessed for instance in Lists/Streams.v).