Add simple arithmetic solving to `Index` size solver #1585

Job	Run time
test-integration-bumpver	7s
test-integration-ormolu	17s
build-vehicle / vehicle / Linux - GHC 9.4.8	7m 36s
build-vehicle / vehicle / macOS - GHC 9.4.8	11m 41s
build-vehicle / vehicle / Windows - GHC 9.4.8	10m 6s
build-vehicle / vehicle / Linux - GHC 9.6.4	6m 28s
build-vehicle / vehicle / Linux - GHC 9.2.8	7m 27s
build-vehicle / vehicle / Linux - GHC 9.0.2	7m 47s
build-vehicle-python / vehicle-python / Linux - x86_64	26m 4s
build-vehicle / vehicle / Linux - GHC 8.10.7	8m 11s
build-vehicle-python / vehicle-python / Linux - x86_64	22m 16s
build-vehicle / vehicle / Linux - GHC 9.4.8 -fnothunks	7m 38s
build-vehicle-python / vehicle-python / macOS - x86_64	40m 4s
build-vehicle-python / vehicle-python / Windows - AMD64	35m 54s
Publish package to PyPI	0s
Publish package to GitHub Releases	0s
	3h 11m 36s

Provide feedback