Typing: missing colon errors duplicated

[crusso]

See

https://play.motoko.org/?tag=3223397402

for an example.

The problem is likely in argument inference (missing predication on env.pre)

[Kamirus]

Expired link to the example, closing