Refined StringClass and handling of Strings