towards support for proper matching in subpatterns of math-match
math-match now handles subpatterns correctly