Requirements: Captures for matching rules

In addition to the feature in #772, allow matching rules to capture matches into an environment. For instance, you should be able to write:

f(__var_x) = __var_x + 42

and this should match any of:

f(x) = x + 42
f(banana) = banana + 42

but not

f(x) = y + 42

Note that this extends the syntax of matches... `__var_x` carries all the same requirements as `__var`, but also binds the match. There's some flexibility though, since on the left-hand side above, `__var` matches a `PVar` (pattern variable), while on the right, it matches a `Var`. There should be an equivalence of sorts between patterns and expressions, by which a match of patterns that are also valid expressions (like `PVar _ (Ident _ a)` and `Var _ (UnQual _ (Ident _ a))` match each other.

Commencez par lire la fonctionnalité de matching-rule référencée dans #772 et suivez la manière dont la syntaxe de match, les motifs et les expressions sont représentés. Définissez comment __var_x lie les variables de motif et d’expression équivalentes, puis vérifiez que les exemples correspondent ou échouent comme spécifié. Le travail est considéré comme terminé lorsque les correspondances capturées sont disponibles dans l’environnement sans perturber le comportement existant de __var.

Rédigé par le modèle d'indexation à partir du texte de l'issue.