A BinaryRelation known to be deterministic, i.e. producing exactly one Solve.Response (no choice points).
Gets this wrapped primitive description Pair formed by signature and wrapped primitive type
A shorthand to get the signature functor name
Checked primitive implementation, retaining this wrapper's help metadata.