symbolify makes symbols from concatenated string designators. It avoids the nightmare of (make-symbol (concatenate 'string (symbol-name s) "-P")) and (intern (make-symbol (concatenate 'string (symbol-name s) "-P"))) which tends to pervade complicated macros.