better const folding for int and bool #713

Job	Run time
Android (ubuntu-24.04, aarch64-linux-android)	7m 59s
Test (ubuntu-24.04)	7m 55s
Compiletest (ubuntu-24.04)	8m 21s
Test (windows-2022)	14m 23s
Test (macOS-latest)	7m 0s
Difftest (ubuntu-24.04)	12m 39s
cargo-deny	1m 5s
Compiletest (macOS-latest)	8m 19s
Difftest (windows-2022)	18m 25s
Difftest (macOS-latest)	16m 40s
Lint	6m 46s
Compiletest (windows-2022)	16m 19s
test_success	4s
	2h 5m 55s

Provide feedback