StringExt.

Use refinements instead of monkey patching String.