I agree with this, I'm designing a similar language and have gone with this approach. Same syntax for all functions, but top-level functions require explicit ty

I agree with this, I'm designing a similar language and have gone with this approach. Same syntax for all functions, but top-level functions require explicit type annotations (purely for documentation/sanity more so than a technical requirement).