[plt-scheme] redex: recursive metafunctions

>> In addition,
>> recursive calls in the right-hand side of the metafunction clauses  
>> should
>> appear inside term."
>
> This sentence is at best confusing and at worse just plain wrong
> depending on how you read it. I've just cut it from the docs.

good! I must have read it 100 times trying to figure out what it  
meant...

thanks for the debugging, it now works perfectly (sorry it was so  
trivial ;))

-- Éric