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.

まず、requirements checkerに既存するcontainsMatchルールとそのsource matcherをたどり、その動作を提案されたifMatch条件およびtemplateと比較します。fooの例に示されているように、最初のパターンにマッチする宣言が2番目のパターンにもマッチする必要がある状態になれば完了です。payloadには実行するファイルやテストの指定はありません。

索引モデルが issue の本文から書いたものです。