rename Matcher to Satisfy and add API stubs to be filling in
that's probably what we need in the first version