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

Job	Run time
build-and-test (windows-latest, Agda-2.8.0)	3m 33s
build-and-test (windows-latest, Agda-2.7.0.1)	3m 33s
build-and-test (ubuntu-latest, Agda-2.7.0.1)	1m 27s
build-and-test (macos-latest, Agda-2.8.0)	4m 56s
build-and-test (windows-latest, Agda-2.6.4.3)	3m 17s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	1m 9s
build-and-test (macos-latest, Agda-2.6.4.3)	5m 1s
build-and-test (macos-latest, Agda-2.7.0.1)	6m 35s
build-and-test (macos-13, Agda-2.8.0)	7m 23s
build-and-test (ubuntu-latest, Agda-2.8.0)	1m 43s
build-and-test (macos-13, Agda-2.6.4.3)	10m 33s
build-and-test (macos-13, Agda-2.7.0.1)	8m 12s
Build WASM	0s
	57m 22s

Provide feedback