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

Job	Run time
Build and Test (windows-latest, Agda-2.7.0.1)	4m 14s
Build and Test (windows-latest, Agda-2.8.0)	4m 27s
Build and Test (ubuntu-latest, Agda-2.8.0)	1m 39s
Build and Test (windows-latest, Agda-2.6.4.3)	10m 24s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	1m 33s
Build and Test (macos-latest, Agda-2.8.0)	2m 47s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	4m 24s
Build and Test (macos-latest, Agda-2.7.0.1)	3m 23s
Build and Test (macos-13, Agda-2.7.0.1)	5m 15s
Build and Test (macos-13, Agda-2.8.0)	4m 3s
Build and Test (macos-latest, Agda-2.6.4.3)	7m 3s
Build and Test (macos-13, Agda-2.6.4.3)	9m 31s
Build WASM	-9s
Create Release	0s
Upload to Dev Release	0s
Upload to Stable Release	0s
	58m 34s

Provide feedback