Fix String.replace/4 typespec