[Draft] Deeper integration with Agda: foundational work #107

Job	Run time
Build and Test (windows-latest, Agda-2.6.4.3)	28m 24s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	23m 55s
Build and Test (ubuntu-latest, Agda-2.8.0)	2m 33s
Build and Test (macos-13, Agda-2.8.0)	58m 55s
Build and Test (windows-latest, Agda-2.8.0)	5m 47s
Build and Test (windows-latest, Agda-2.7.0.1)	24m 39s
Build and Test (macos-latest, Agda-2.7.0.1)	17m 38s
Build and Test (macos-13, Agda-2.6.4.3)	12m 41s
Build and Test (macos-13, Agda-2.7.0.1)	42m 50s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	13m 36s
Build and Test (macos-latest, Agda-2.8.0)	4m 39s
Build and Test (macos-latest, Agda-2.6.4.3)	28m 38s
Build WASM	0s
Create Release	-1s
Upload to Stable Release	-1s
Upload to Dev Release	-1s
	4h 24m 12s

Provide feedback