#2174: Refactoring of encodings to allow wiring of operators within the encoding instead of the problem (work in progress).