Requirements: if-then for source matcher

The only requirements-checker rule that currently uses the source matcher is `containsMatch`. This rule requires that some declaration in the file matches the target. Another useful pattern could be to require that any declaration that matches the first pattern must *also* match the second. For example, one could write:

ifMatch:
condition: |
foo = $any
template: |
foo = $var $(tupleOf [| $any |])

This would say that if `foo` is defined, then its definition must look like a function applied to a tuple.

Beginne damit, die bestehende containsMatch-Regel des Anforderungsprüfers und ihren Quell-Matcher nachzuverfolgen, und vergleiche dieses Verhalten dann mit der vorgeschlagenen ifMatch-Bedingung und der Vorlage. Als erledigt gilt, wenn eine Deklaration, die dem ersten Muster entspricht, wie am foo-Beispiel gezeigt auch dem zweiten entsprechen muss; der Payload nennt keine Dateien und keine auszuführenden Tests.

Vom Indexierungsmodell aus dem Issue-Text verfasst.