Tighten comparison operator handling of strict operator checks

For strict operator checks, we should explicitly require number to number or string to string. Nulls, undefined, wrappers, and matches-context seem too loose.

In general, for comparisons, we should expect either === with any types or == with an explicit coercion.