Generated symbol names depend on `*print-case*` et al

[Joachim F.]

Throughout, (intern (format nil ...)) is used to generate symbol names.
The actual names generated in this way depend on the values of *print-case*
and whatever other variables format consults, which has the potential to
cause some grief for people using non-standard values (e.g., :downcase).