Add bind_let rule
Compare changes
Pour rappel, le service sera inaccessible ce lundi 05/05/25 midi pour raison de mise à jour.
This rule is used by Carcara's elaborator when eliminating the implicit use of symmetry of equality.
Addresses #46