recfun_finder should delete recursive definitions on scope exit

the recfun_finder is exposed as a simplifier. It should push a closure on the undo trail to remove recursive definitions that were introduced when exiting scope. Otherwise recursive functions from a detached scope are used persistently