Remove `Formula` #1164

Job	Run time
build-docker	8m 49s
build (macos-latest)	6m 50s
build (ubuntu-latest)	6m 49s
gillian_c_tests (ubuntu-latest)	6m 20s
gillian_c2_tests (ubuntu-latest)	2m 34s
gillian_js_tests (ubuntu-latest)	2m 10s
collections-c (ubuntu-latest)	2m 32s
test262 (ubuntu-latest)	35m 26s
deploy-docs	0s
	1h 11m 30s

Provide feedback