Member predicate SingletonRefinementValue::equals

Holds if this equals that under strict or non-strict equality, depending on the value of isStrict.