improve comments on circular list detection.
Fix cl:coerce and cl:concatenate to behave closer to ANSI spec when result-type is either cl:string or cl:base-string.
On class redefinition, metaclass migration is not an error.
Improve new handling of metaclass migration on class redefinition.