These changes only affect `PatternSub`, which now no longer allows constraints
on non (logic) variable terms in its patterns.  Likewise, the `values_eq_approx`
and `skip_identities_fn` options are no longer supported.