This page is part of the web mail archives of SRFI 85 from before July 7th, 2015. The new archives for SRFI 85 contain all messages, not just those from before July 7th, 2015.
The line: (define equiv:bound-on-recursion 1000000) in the Reference Implementation is disturbing. Does this mean that the internal definition of EQUIV? will be exercised only on cases specifically contrived for testing? Also, I suggest that having internal identifiers alias top level identifiers does not help readability.