refactor: extend local search to accept any inputs

Instead of accepting only BinaryString, accept anything.
Extend the operators to accept anything.

chore: split types and functions to separate module files