All predicate failures from Conway era that use in any place Group encoding for Mismatch type need to be redefined from scratch and have its serialization not use this group encoding.

This was done in #4666 as a stop gap measure, since we added a Mismatch type pretty late in Conway development, but we could not change its serialization.