[FEA] Remove pre-filtering template args

The current problem with our pre-filtering search functions is that the predicate function is a template argument, which means each unique pre-filtering predicate function requires its own instantiation. This means the pre-compiled filtering functions become useless and it's definitely not a sustainable approach. We expect that users should be able to use any number of predicate functions, including their own.

Start by locating the pre-filtering search functions and the filtering functions described in the issue, then trace how predicate functions are passed as template arguments. Define and verify an approach that allows arbitrary user predicates without requiring a separate precompiled instantiation for each predicate; the issue names no specific files or tests.