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

Job	Run time
Build and Test (windows-latest, Agda-2.6.4.3)	6m 15s
Build and Test (windows-latest, Agda-2.8.0)	4m 18s
Build and Test (windows-latest, Agda-2.7.0.1)	3m 46s
Build and Test (macos-13, Agda-2.8.0)	3m 23s
Build and Test (macos-latest, Agda-2.8.0)	2m 8s
Build and Test (macos-latest, Agda-2.6.4.3)	4m 40s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	1m 49s
Build and Test (ubuntu-latest, Agda-2.8.0)	1m 30s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	4m 2s
Build and Test (macos-13, Agda-2.6.4.3)	7m 52s
Build and Test (macos-latest, Agda-2.7.0.1)	2m 9s
Build and Test (macos-13, Agda-2.7.0.1)	4m 9s
Build WASM	0s
Create Release	0s
Upload to Dev Release	-1s
Upload to Stable Release	-1s
	45m 59s

Provide feedback