matcher-project and matcher->finite-set