I think I know how we can make generic functions enforce their ftypes
-- so we can get rid of the "generic clobbers declaration" thing.
It's so simple I have no idea why we haven't do it yet: simply stick
an appropriate bit of wrapper code around the effective method.
I don't have the cycles to pursue this right now, so I'm throwing this
out for any aspiring CLOS hackers to chew on.