DOC: Explain residual goals in CLP(B).