[slime-devel] downcased symbols inserted by SLIME-INSERT-ARGLIST