added BoxedString type