Homomorphism properties for `bool_decide` + rename (bool_)decide_iff.

• Add homomorphism properties for bool_decide and True, False, →,
• Rename decide_iff → decide_ext and bool_decide_iff → bool_decide_ext because _iff is now used for the above property for ↔. This is also more consistent with other extensionality properties.

changed title from Robbert/bool decide to {+Homomorphism properties for bool_decide + rename (bool_)+}decide_iff.

added 3 commits

• ec7258e2 - Rename `(bool_)decide_iff` into `(bool_)decide_ext`.
• ee01b088 - Add more properties of `bool_decide` w.r.t. logical connectives.
• 392eaff0 - CHANGELOG.

Compare with previous version

LGTM!

mentioned in commit e6194e28

merged

@iris-users This is a breaking change if you use decide_iff or bool_decide_iff. These are renamed into decide_ext and bool_decide_ext.