Rearranges a hypothesis of the form c * PARAM + d == scalar by moving
all numeric terms to the right-hand side. Unlike claim_contrast_coefs(),
this does not require or validate a linear combination — it is suitable for
single-parameter claims involving any param_obj subclass (e.g. MU(),
PI(), RHO()).
Value
A list with fields:
coefsNamed numeric vector of length 1: the coefficient
con the parameter term.scalarNumeric. The resolved scalar value after rearrangement.
opCharacter. The (possibly flipped) relational operator.