adjust render-metafunction docs
redex: adjust benchmark contracts and provides