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

Job	Run time
Build and Test (macos-latest, Agda-2.8.0)	54m 47s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	31m 14s
Build and Test (macos-13, Agda-2.8.0)	1h 35m 32s
Build and Test (windows-latest, Agda-2.7.0.1)	40m 30s
Build and Test (windows-latest, Agda-2.6.4.3)	39m 2s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	37m 1s
Build and Test (macos-latest, Agda-2.7.0.1)	53m 26s
Build and Test (ubuntu-latest, Agda-2.8.0)	41m 37s
Build and Test (windows-latest, Agda-2.8.0)	46m 43s
Build and Test (macos-latest, Agda-2.6.4.3)	36m 20s
Build and Test (macos-13, Agda-2.6.4.3)	1h 10m 38s
Build and Test (macos-13, Agda-2.7.0.1)	1h 12m 56s
Build WASM	0s
Create Release	0s
Upload to Dev Release	0s
Upload to Stable Release	0s
	10h 19m 46s

Provide feedback