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

Job	Run time
build-and-test (ubuntu-latest, Agda-2.8.0)	1m 16s
build-and-test (windows-latest, Agda-2.7.0.1)	3m 28s
build-and-test (windows-latest, Agda-2.6.4.3)	3m 34s
build-and-test (macos-13, Agda-2.7.0.1)	12m 34s
build-and-test (macos-latest, Agda-2.6.4.3)	4m 51s
Build WASM	0s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	1m 15s
build-and-test (macos-latest, Agda-2.8.0)	4m 32s
build-and-test (macos-13, Agda-2.6.4.3)	7m 25s
build-and-test (windows-latest, Agda-2.8.0)	3m 14s
build-and-test (macos-latest, Agda-2.7.0.1)	5m 31s
build-and-test (macos-13, Agda-2.8.0)	10m 29s
build-and-test (ubuntu-latest, Agda-2.7.0.1)	1m 48s
	59m 57s

Provide feedback