✨ Add better symDistinct for SomeBV #1001

Job	Run time
build (ubuntu-latest, stack, --stack-yaml stack-lts-18.28.yaml, false, false, 8107, stack-810)	11m 47s
build (ubuntu-latest, stack, --stack-yaml stack-lts-18.28-lowerbound.yaml, false, false, 8107, st...	14m 29s
build (ubuntu-latest, stack, --stack-yaml stack-lts-19.33.yaml, false, false, 902, stack-90)	12m 47s
build (ubuntu-latest, stack, --stack-yaml stack-lts-20.26.yaml, false, false, 928, stack-92)	11m 13s
build (ubuntu-latest, stack, --stack-yaml stack-lts-21.25.yaml, false, false, 948, stack-94)	11m 13s
build (ubuntu-latest, stack, --stack-yaml stack-lts-22.31.yaml, false, false, 966, stack-96)	10m 58s
build (ubuntu-latest, stack, true, false, 982, stack-98)	9m 55s
build (ubuntu-latest, cabal, false, false, 9101, cabal-910)	10m 39s
build (macOS-latest, stack, true, false, 982, stack-98)	11m 4s
	1h 44m 5s

Provide feedback