Hello,

I am currently writing an implementation of this SRFI for CHICKEN. Some
comments:

* The predicate procedure "returns #t if its argument is a procedure
object that was created by a call to the constructor procedure, or #f
otherwise". This sounds like this would return false if the procedure
was first tagged by the current constructor, then tagged by another
constructor besides the one the predicate is associated with, since each
constructor returns a new procedure. Should this be something like

   > When this procedure is invoked, it returns #t if its argument is a
tagged procedure in the created tagging protocol, and #f otherwise.

   The same comment applies to the wording of the accessor procedure.

* For implementation on R7RS systems, should "an assertion violation is
signaled" be read as "an error is signaled"?

-- Peter McGoron