Alternative mux value

[simonjwinwood]

This is a new backend for the pathsymbolic strategy, it simplifies and clarifies the backend and moves much of the branching to the leaves of the value.