GRINDEF/TRACE interaction

[RWK at MIT-MC (Robert W. Kerns)]

The only thing that you said that had any relevence was:

(TRACE MOVE)
(GRINDEF MOVE)
;TRACED.

I.e. that GRINDEF doesn't understand traced functions.  It should.
It should also probably have a better check for traced functions, say
actually looking at the EXPR property for a (COMMENT /;TRACED (old-expr))
and then use the frob in the comment as the frob to print.