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.
