Simulation of combined oracle interfaces

Query implementations for sum interfaces and their lifting and routing laws.