Add STRING-APPEND and STRING-APPEND*.