C++: rename impl::filter_optional to impl::filter_optional_