Rename `equiv_spec` → `equiv_entails` to be consistent with conventions in std++.

Hence, also rename (the old) equiv_entails → equiv_entails_1_1 and equiv_entails_sym → equiv_entails_1_2, and add equiv_entails_2 for completeness.

See discussion in stdpp!210 (comment 61921)