.sub: (pattern: Str, repl: Str, string: Str, count := Nat) -> Str