improved the failure messages for the matcher macro