Generalize `map_filter_insert` so that it covers both the True and False case.

Use `_True` and `_False` for the specific cases.

Weaken premise of `map_filter_delete_not` and make it consistent with `map_filter_insert_not'`.