chore: rename `String.Range` to `Lean.Syntax.Range`#10852

TwoFX merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

TwoFX:markus/rename-string-rangeTwoFX/lean4:markus/rename-string-rangeCopy head branch name to clipboard