Experimental

this ties the solver library to babelsberg too much. Can't we just wrap errors that occur when our `suggestValue` or `bbb.always` in CouldNotSatisfy errors?