Re: [slime-devel] [Patch] some fixes regarding type declarations