Add remaining racket/string types

Please merge to v6.0
Add type for `regexp-replaces`

Please merge to v6.0