Big improvments to memoized BC rule retraction. We now correctly update
transitive dependents (before we didn't refresh the memos, so we were getting
incorrect behavior).

Catch ^C again..

Minor tweak to make fewer replacement updates to $key.
add test for transitive deps in memoized BC rule retraction.
added test case for issue #52 -- keeping $key up to date.