more work on deep-matches

- split pat and rh side of PMATCH_ROW
- this removes the need for higher order matching
- added guards to PMATCH_ROW
- add congruence rules for PMATCH
- work on parsing PMATCH
- work on using the simplifier with PMATCH