better const folding for int and bool #657

Job	Run time
Lint	6m 27s
Android (ubuntu-24.04, aarch64-linux-android)	8m 25s
Test (windows-2022)	15m 28s
Test (macOS-latest)	6m 48s
Test (ubuntu-24.04)	8m 17s
Difftest (ubuntu-24.04)	11m 28s
Difftest (macOS-latest)	10m 29s
Difftest (windows-2022)	18m 10s
Compiletest (ubuntu-24.04)	8m 11s
Compiletest (macOS-latest)	7m 45s
cargo-deny	58s
Compiletest (windows-2022)	15m 1s
test_success	2s
	1h 57m 29s

Provide feedback