Some refactorings relevant to String

Made following changes:
- Fixed a default parameter of ```String::ctor()``` that causes an error and added some complementary comments.
- Removed some redundant code from String.
- Unified the redundant string formatting functions.