abstract-equal? is a congruent reduce.  Unfortunately, this seems to slow VL down by about 50% on the test suite.  I am mystified.
abstract-equal? is a congruent reduce.  Unfortunately, this seems
to slow VL down by about 50% on the test suite.  I am mystified.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language