I don't know what you mean here. R7RS modules are essentially R6RS
libraries with a few less, and a few extra, bells and whistles. They
have different names because they are technically incompatible, but
there is a compatibility core: imports with optional inclusion,
exclusion, renaming, and prefixing; exports with optional renaming;
embedded code wrapped in BEGIN.
While R6RS library bodies *can* be wrapped in BEGIN, they don't have to be.
But, everything you said about imports and exports is consistent.