feat: make some methods const#3

ryota2357 merged 1 commit into

ryota2357:mainryota2357/lean_string:mainfrom

lperlaki-contrib:constlperlaki-contrib/lean_string:constCopy head branch name to clipboard