added String.padLeft, String.padRight, and Int.downto