Like I said, I understand and appreciate that arbitrary functions are required for a complete solution. I just think that this kind of matching would be a solut

Like I said, I understand and appreciate that arbitrary functions are required for a complete solution. I just think that this kind of matching would be a solution for a subset of problems (languages) large enough to make it useful.