remove dependence on MATCHnomatch == 0

The plan is to add a new level, MATCHerror, which is less than MATCHnomatch. The point of that is to better propagate errors, like with TypeError and ErrorStatement.