[Pitch] Controlling function definition visibility in clients

I’m still trying to wrap my head around this proposal and the @inline one. How do things work when @export(...) isn’t specified, and how does it interact with @inlinable?