Nominal Matching Logic