Bad GRINDEF/TRACE interaction

[Kent M. Pitman <KMP at MIT-MC>]

(DEFUN F (X) X)			; Define a function
(GRINDEF F)			; Grinds just fine
(TRACE F)			; Traces just fine
(GRINDEF F)			; Grinds just fine with note that it's traced
(DEFUN F (Y) Y)			; Redefine without untracing
(GRINDEF)			; Claims traced. Doesn't grind
(UNTRACE F)			; Untrace doesn't break the F(y) definition
(GRINDEF F)			; Grinds just fine as F(y)
-----
If there is a more recent definition than the traced definition, GRINDEF should
allow that definition to supersede the trace information.
-kmp