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.