Allow binding to satisfactions

This adds the `toSatisfaction` method to `Binding`, allowing clients (particularly extending code or language bindings) to bind directly to a satisfaction (#79)