merge: Add `elim` for Simpl Indexed Type (#1263) #208

Job	Run time
move-tag	2s
check-aya-version / extract-version	2s
nightly-build (ubuntu-latest, linux-x64)	2m 40s
nightly-build (macos-latest, macos-x64)	16s
publish-snapshot	52s
nightly-build (windows-latest, windows-x64, .exe)	18s
	4m 10s

Provide feedback