(define (ar-tag type rep) (cond ((eqv? (ar-type rep) type) rep) (#t (vector 'tagged type rep)))) (xdef 'annotate ar-tag)
-----