rewrite_aggressive_fail property

This pull request is (I hope) the code for adding the rewrite_aggressive_fail property to Elision. Let me know if this works.