LOGIC-111: conda regression

`conda` and `condu` implementations were both incorrect for the unit
case. Both now use `(reduce bind b gs)`. Added test for the regression.