Add more properties of intersection_with for fin_maps

Merged Hai Dang requested to merge haidang/stdpp:fin_maps_intersection into master

Merge request reports