So R6 is bad because it's a big departure from R5 but R7-small is bad because it doesn't change much? The point of R7 is to make it is easy for implementation

So R6 is bad because it's a big departure from R5 but R7-small is bad because it doesn't change much? The point of R7 is to make it is easy for implementation to upgrade from R5 after the controversial R6. Ideally, most of the libraries in R7-big will be able to be written mostly in R7-small. If they are smart, they'll make a R7-big FFI library, and then every other library can be written in R7 + C. This means an implementation would only need to implement R7-small and would get all the libraries of R7-big for free.