Fixup `destroyTriangleBatch` batch type #26

Job	Run time
lint-and-build-and-test (ubuntu-latest)	20s
lint-and-build-and-test (macos-latest)	33s
lint-and-build-and-test (windows-latest)	1m 51s
	2m 44s

Provide feedback