Allow special characters in generated Lean 4 identifiers #7178

Job	Run time
Java: Linting	1m 40s
Java: Linting	1m 40s
Pyk: Code Quality & Unit Tests (3.10)	1m 30s
Pyk: Code Quality & Unit Tests (3.10)	1m 30s
Pyk: Code Quality & Unit Tests (3.11)	1m 18s
Pyk: Code Quality & Unit Tests (3.11)	1m 18s
Pyk: Code Quality & Unit Tests (3.12)	1m 25s
Pyk: Code Quality & Unit Tests (3.12)	1m 25s
Pyk: Code Quality & Unit Tests (3.13)	2m 4s
Pyk: Code Quality & Unit Tests (3.13)	2m 4s
Code Quality Checks	1s
Code Quality Checks	1s
K: Ubuntu Jammy Frontend Package	4m 58s
K: Ubuntu Jammy Frontend Package	4m 58s
K: Source Build & Test	18m 18s
K: Source Build & Test	18m 18s
Pyk: Nix Build (ubuntu-24.04)	46s
Pyk: Nix Build (ubuntu-24.04)	46s
K: Ubuntu Jammy Package	11m 49s
K: Ubuntu Jammy Package	22m 25s
Pyk: Nix Build (macos-14)	1m 46s
Pyk: Nix Build (macos-14)	1m 46s
K: Nix Build & Test (self-hosted, linux, normal)	4m 40s
K: Nix Build & Test (self-hosted, linux, normal)	4m 40s
K: Nix Build & Test (MacM1, self-macos-12)	23m 57s
K: Nix Build & Test (MacM1, self-macos-12)	23m 57s
Pyk: Profiling	2m 57s
Pyk: Profiling	2m 57s
Pyk: Documentation	3m 50s
Pyk: Documentation	3m 50s
Pyk: Integration Tests	18m 4s
Pyk: Integration Tests	18m 4s
Pyk: Regression Tests	17m 56s
Pyk: Regression Tests	17m 56s
	4h 4m 34s

Provide feedback