WYRL: working on the semantics for rewrite rules.
WYRL: possible bug fixes for rewriting.
WYRL: added a max probes limit for the simple rewriter.