Support for embedding matchers in patterns