module CoreRefinements::String