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

Job	Run time
build-and-test (windows-latest, Agda-2.8.0)	3m 54s
build-and-test (windows-latest, Agda-2.7.0.1)	3m 33s
build-and-test (ubuntu-latest, Agda-2.8.0)	1m 11s
build-and-test (windows-latest, Agda-2.6.4.3)	3m 29s
build-and-test (ubuntu-latest, Agda-2.7.0.1)	1m 11s
build-and-test (macos-latest, Agda-2.8.0)	5m 57s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	1m 8s
build-and-test (macos-latest, Agda-2.7.0.1)	4m 52s
build-and-test (macos-13, Agda-2.8.0)	10m 31s
build-and-test (macos-13, Agda-2.6.4.3)	6m 22s
build-and-test (macos-13, Agda-2.7.0.1)	10m 38s
build-and-test (macos-latest, Agda-2.6.4.3)	4m 46s
Build WASM	0s
	57m 32s

Provide feedback