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

Job	Run time
build-and-test (windows-latest, Agda-2.6.4.3)	40m 25s
build-and-test (windows-latest, Agda-2.8.0)	43m 32s
build-and-test (ubuntu-latest, Agda-2.7.0.1)	34m 7s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	34m 20s
build-and-test (ubuntu-latest, Agda-2.8.0)	39m 26s
build-and-test (macos-latest, Agda-2.8.0)	45m 24s
build-and-test (macos-latest, Agda-2.7.0.1)	38m 31s
build-and-test (macos-13, Agda-2.7.0.1)	1h 13m 59s
build-and-test (macos-latest, Agda-2.6.4.3)	27m 56s
build-and-test (windows-latest, Agda-2.7.0.1)	40m 23s
build-and-test (macos-13, Agda-2.6.4.3)	1h 16m 20s
build-and-test (macos-13, Agda-2.8.0)	1h 9m 44s
Build WASM	-1s
	9h 24m 6s

Provide feedback