To get around the Lambda list congruency problem, fmakunbound
of the generic function works fine. I have used this in Lucid and
Procyon imnplementations. Remember that if you do this you loose
all methods related to this generic function, not just the method
you may be focused on. Of course that is just common sense. When
changing a generic function, you are changing multiple (to be
specific one or more) methods. It seems like a simple point to
remember, but when writing a 'fix' file, its possible to miss it.
After the 'fix' file 'funbound's the generic, you have to reload
the definitions of all methods of the generic.