An attempt at staging the regex expression matcher.

Not straightforward because of:

- return statements are not handled correctly:
  the straightforward staged version just returns 'true'

- lifted boolean && should be effectful like lifted if

- need to reify recursive calls