> I find it easy to add type annotations where you want - but it's not needed that often.

That has been my experience as well: among optionally-typed languages, Julia is pretty good at inference, and at telling you why it gave up. This is critical when dealing with a language with a Sufficiently Smart Compiler that takes some convincing to do what you want.