AFAICT r7rs will have two parts; a small core one (based on r5rs, with the additional features mentioned in the post), and a larger one building up something like a standard library (possibly including r6rs).