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)