[slime-devel] Patch: recognize symbols containing @