better const folding for int and bool #709

Job	Run time
Android (ubuntu-24.04, aarch64-linux-android)	7m 57s
Test (windows-2022)	15m 28s
Test (macOS-latest)	11m 46s
Lint	7m 2s
Compiletest (windows-2022)	4m 28s
Test (ubuntu-24.04)	8m 2s
cargo-deny	1m 0s
Compiletest (ubuntu-24.04)	4m 15s
Difftest (ubuntu-24.04)	9m 49s
Compiletest (macOS-latest)	4m 32s
Difftest (windows-2022)	17m 22s
Difftest (macOS-latest)	13m 2s
test_success	4s
	1h 44m 47s

Provide feedback