Remove `Formula` #1174

Job	Run time
build-docker	8m 26s
build (macos-latest)	7m 15s
build (ubuntu-latest)	6m 49s
test262 (ubuntu-latest)	35m 44s
gillian_c2_tests (ubuntu-latest)	2m 3s
collections-c (ubuntu-latest)	1m 58s
deploy-docs	0s
gillian_c_tests (ubuntu-latest)	5m 43s
gillian_js_tests (ubuntu-latest)	1m 54s
	1h 9m 52s

Provide feedback