un-uglify the names of files under `include/exec` #2772

Job	Run time
CPU (Windows) (msvc, Debug)	11m 59s
macos-CPU (MacOS) (clang, Debug)	4m 33s
CPU (Windows) (msvc, Release)	18s
macos-CPU (MacOS) (clang, Release)	3m 46s
CPU (gcc 11, Release)	2m 58s
CPU (clang 16, Release, ASAN)	4m 56s
CPU (gcc 11, Release, ASAN)	3m 33s
CPU (clang 16, Release)	4m 31s
CPU (clang 16, Debug)	5m 30s
CPU (gcc 12, Release, TSAN)	3m 46s
CPU (gcc 13, Debug)	3m 33s
CPU (gcc 11, Debug)	4m 12s
CI (CPU) (MacOS)	4s
CI (CPU)	2s
CI (CPU) (Windows)	-1s
	53m 40s

Provide feedback