Changes due to the replacement of the buggy is_string with the builtin
is_charlist.
Authored by: kifer 1999-06-17
Parent: [r887]
Child: [r889]
