[ fix #3474 ] Fix implicit arguments in interface methods #1182

Job	Run time
initialise	5s
quick-check	5m 44s
macos-bootstrap-chez	7m 24s
windows-bootstrap-chez	24m 26s
ubuntu-bootstrap-chez	6m 55s
nix-bootstrap-chez	19m 8s
ubuntu-bootstrap-racket	12m 25s
ubuntu-self-host-previous-version	10m 16s
ubuntu-build-api	4m 13s
ubuntu-self-host-chez	10m 26s
macos-self-host-chez	15m 28s
ub-pack-test-pack	12m 4s
ub-test-collie	22s
ub-test-frex	3m 41s
ub-test-elab-util	38s
ub-test-katla-and-html	5m 39s
ub-pack-test-lsp	14m 47s
ubuntu-self-host-racket	0s
windows-self-host-racket	12m 13s
	2h 45m 54s

Provide feedback