WYRL: minor tweaks to benchmark
WYRL: removed code which is now redundant.
WYRL: working on adding inference rules to the simple rewriter.