GarageDoorTop: assert some types #448

Job	Run time
docker-master	1h 42m 18s
publish-standalone-dry-run	16s
test-standalone (master, dev, default)	1m 12s
build-js-of-ocaml (master, 4.11.1)	16m 15s
build-wasm-of-ocaml (master, 4.14.1)	14m 33s
generated-files (master)	59s
test-amd64	2h 20m 31s
standalone-haskell (master)	54m 33s
validate-docker-master	37m 34s
deploy-js-wasm-of-ocaml	48s
docker-check-all	2s
	6h 9m 1s

Provide feedback