[plt-scheme] redex is great

Jos Koot wrote:

> I forgot the line ((nf1? V) #t) in nf1?.
> I should have tested nf1? and nf2?  :) 
> Even testing procedures must be tested.

The testing procedure is testing a metafunction, so it should be called 
a metatest. Then the test of the testing procedure is ... a meta-metatest?

Can you post a final commented version of everything? One can probably 
recreate it from this interesting series of posts, but it would be 
easier not to have to do so. Thanks! --PR