The patch to switch on lexing of 'forall' inside a RULES pragma wasn't working. This fixes it so that it does.