use Expr instead of Sat in CLP(B) documentation