WYRL: added support for rule comparators to the standard rewriters.  It's clear from messing around that they can make a big difference, but at the moment they don't because the analysis is so weak.