I've just pulled everything from Taylan's latest pull request and published it as draft #7. Here are comments from his summaries:

Specify correct behavior for SRFI-4 vectors. This was implemented in the reference implementation, but not explicitly specified.