Refined/Signed Barrett Reduction #806

Job	Run time
docker-master	1h 27m 6s
publish-standalone-dry-run	18s
test-standalone (master, dev, default)	1m 18s
validate-docker-master	3m 28s
build-js-of-ocaml (master, 4.11.1)	5m 32s
generated-files (master)	23m 48s
standalone-haskell (master)	49m 27s
build-wasm-of-ocaml (master, 4.14.1)	16m 49s
test-amd64	2h 15m 54s
deploy-js-wasm-of-ocaml	28s
docker-check-all	1s
	5h 24m 9s

Provide feedback