> Also, please specify (or at least explicitly leave unspecified)
> whether two ERR5RS records without fields are eqv?.
>
I guess this brings up structural vs name equivalence.

I strongly recommend name equivalence so that only records created via
the same constructor are considered equivalent, even if all of the
fields are the same.