better const folding for int and bool #731

Job	Run time
Android (ubuntu-24.04, aarch64-linux-android)	8m 10s
Test (ubuntu-24.04)	8m 6s
Test (macOS-latest)	8m 19s
Compiletest (ubuntu-24.04)	8m 28s
Compiletest (macOS-latest)	9m 43s
Compiletest (windows-2022)	16m 6s
Difftest (macOS-latest)	13m 30s
Lint	7m 14s
Test (windows-2022)	15m 42s
Difftest (ubuntu-24.04)	11m 57s
cargo-deny	1m 3s
Difftest (windows-2022)	27m 18s
test_success	2s
	2h 15m 38s

Provide feedback