Update ALS WASM to build with Agda v2.8.0 #73

Job	Run time
build-and-test (windows-latest, Agda-2.7.0.1)	3m 16s
build-and-test (windows-latest, Agda-2.8.0)	5m 26s
build-and-test (windows-latest, Agda-2.6.4.3)	3m 6s
build-and-test (ubuntu-latest, Agda-2.8.0)	1m 8s
build-and-test (macos-latest, Agda-2.7.0.1)	5m 31s
build-and-test (macos-13, Agda-2.6.4.3)	7m 55s
build-and-test (ubuntu-latest, Agda-2.7.0.1)	1m 21s
build-and-test (macos-latest, Agda-2.8.0)	6m 8s
build-and-test (macos-13, Agda-2.7.0.1)	7m 2s
build-and-test (macos-13, Agda-2.8.0)	1h 29m 42s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	1m 9s
Build WASM	-1s
build-and-test (macos-latest, Agda-2.6.4.3)	6m 14s
	2h 17m 57s

Provide feedback