Much of the serialization functions output hard-coded strings such as "(:SEQUENCE ", etc.
When *print-case* is set to :downcase or :capitalize, the result is a mix of difference cases.
It would be nice if all hard-coded strings would be cased according to *print-case*.