
Preparing to add a key extraction function. Without this "Operators" template parameter, we'd have even more template parameters, and that parameter list would grow too complex. Better wrap it in one single template that contains all operators. This is an API change which all callers need to adjust to, but it will be worth it.