added some type extensions for System.String