feat: Improve "type annotations needed" errors #11451

Job	Run time
build-nargo	2m 37s
build-noirc-abi	1m 40s
build-acvm-js	1m 36s
build-noir-wasm	4m 25s
ACVM JS (Browser)	1m 18s
ACVM JS (Node.js)	34s
noirc_abi	1m 16s
noir_codegen	58s
Noir JS	1m 10s
Example scripts	15s
Check external repo - zac-williamson/noir-edwards	13s
noir_wasm	2m 2s
Integration Tests (Browser)	1m 56s
Integration Tests (Node)	2m 19s
End	1s
	22m 20s

Provide feedback