add SString.prototype.delete_substring()