STRING-DOWNCASE, STRING-UPCASE: Renamed to DOWNCASE and UPCASE.
Minor cleanup.
Moved editor to the attic.