As the patch went partway in using bool in dfa.c, I took the liberty of 
converting the rest of the DFA internals to use bool when that seemed to 
make the code clearer and/or the executable smaller.  I didn't change 
the external API.  I installed the attached.