add capture-bindings and apply-bindings
stub for solver functionality