A minor note regarding the wording in the draft under "Equivalence"...

   Collections are considered equivalent with respect to scheme's
   equal? operator when they contain a like number of values, and
   where each value in one collection is equal? to a value in the
   second collection.

   ...Further conditions valid only on sequences elided ....

Taking this literally, and using unordered bags for our collections,
I observe that if one bag contains 2 b's and 1 a, it is equal? to
another bag that contains 1 b and 2 a's.

This is probably not what you want.

				Bear